class ADSL::Parser::ASTNot

Public Instance Methods

to_adsl() click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1272
def to_adsl
  "not(#{ @subformula.to_adsl })"
end
typecheck_and_resolve(context) click to toggle source
# File lib/adsl/parser/ast_nodes.rb, line 1265
def typecheck_and_resolve(context)
  subformula = @subformula.typecheck_and_resolve context
  raise "Substatement not a formula on line #{@subformula.lineno}" unless subformula.type == :formula
  return subformula.subformula if subformula.is_a? ADSL::DS::DSNot
  return ADSL::DS::DSNot.new :subformula => subformula
end