class ADSL::Parser::ASTImplies
Public Instance Methods
to_adsl()
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1354 def to_adsl "implies(#{ @subformula1.to_adsl }, #{ @subformula2.to_adsl })" end
typecheck_and_resolve(context)
click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1344 def typecheck_and_resolve(context) subformula1 = @subformula1.typecheck_and_resolve context subformula2 = @subformula2.typecheck_and_resolve context [subformula1, subformula2].each do |subformula| raise "Substatement not a formula on line #{subformula.lineno}" unless subformula.type == :formula end return ADSL::DS::DSImplies.new :subformula1 => subformula1, :subformula2 => subformula2 end