Class: Pione::PNML::Feature

Inherits:

PioneModel

• Object
• PioneModel
• Pione::PNML::Feature

Defined in:

lib/pione/pnml/pione-model.rb

Overview

Feature represents a feature declaration in PIONE.

Instance Attribute Summary

• #expr ⇒ Object readonly

  Returns the value of attribute expr.

Instance Method Summary

• #as_declaration(option = {}) ⇒ Object
• #initialize(expr) ⇒ Feature constructor

  A new instance of Feature.

Methods inherited from PioneModel

#indent

Constructor Details

#initialize(expr) ⇒ Feature

Returns a new instance of Feature.

# File 'lib/pione/pnml/pione-model.rb', line 669

def initialize(expr)
  @expr = expr
end

Instance Attribute Details

#expr ⇒ Object (readonly)

Returns the value of attribute expr.

# File 'lib/pione/pnml/pione-model.rb', line 667

def expr
  @expr
end

Instance Method Details

#as_declaration(option = {}) ⇒ Object

# File 'lib/pione/pnml/pione-model.rb', line 673

def as_declaration(option={})
  indent("feature " + @expr, option)
end