class ADSL::Parser::ASTEquiv
Public Instance Methods
to_adsl()
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1336 def to_adsl "equiv(#{ @subformulae.map(&:to_adsl).join ", " })" end
typecheck_and_resolve(context)
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1328 def typecheck_and_resolve(context) subformulae = @subformulae.map{ |o| o.typecheck_and_resolve context } subformulae.each do |subformula| raise "Substatement not a formula on line #{subformula.lineno}" unless subformula.type == :formula end return ADSL::DS::DSEquiv.new :subformulae => subformulae end