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