class Bpl::AST::QuantifiedExpression

Public Instance Methods

declarations() click to toggle source
# File lib/bpl/ast/expression.rb, line 176
def declarations; @variables end
eql?(qe) click to toggle source
# File lib/bpl/ast/expression.rb, line 179
def eql?(qe)
  qe.is_a?(QuantifiedExpression) &&
  qe.quantifier == @quantifier &&
  qe.type_arguments.eql?(@type_arguments) &&
  qe.variables.eql?(@variables) &&
  qe.expression.eql?(@expression) &&
  qe.triggers.eql?(@triggers)
end
show() { |a| ... } click to toggle source
# File lib/bpl/ast/expression.rb, line 187
def show(&block)
  if @type_arguments.empty?
    tvs = ""
  else
    tvs = "<#{@type_arguments.map{|a| yield a} * ", "}>"
  end
  vs = @variables.map{|a| yield a} * ", "
  as = show_attrs(&block)
  ts = @triggers.map{|t| yield t} * " "
  "(#{@quantifier} #{tvs} #{vs} :: #{as} #{ts} #{yield @expression})".fmt
end
type() click to toggle source
# File lib/bpl/ast/expression.rb, line 198
def type; Type::Boolean end