Method: ADSL::Parser::ASTInvariant#to_adsl

Defined in:
lib/adsl/parser/ast_nodes.rb

#to_adsl ⇒ Object 



1189
1190
1191
1192
 
# File 'lib/adsl/parser/ast_nodes.rb', line 1189

def to_adsl
  n = (@name.nil? || @name.text.nil?) ? "" : "#{ @name.text.gsub(/\s/, '_') }: "
  "invariant #{n}#{ @formula.to_adsl }\n"
end