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