Class: Falluto::NuSMV::Variable

Inherits:
Object
  • Object
show all
Defined in:
lib/falluto/nusmv/variable.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name, type) ⇒ Variable

Returns a new instance of Variable.



5
6
7
8
9
 
# File 'lib/falluto/nusmv/variable.rb', line 5

def initialize(name, type)
  raise 'name cannot be empty' if (name.nil? or name.empty?)
  raise 'type cannot be empty' if (type.nil? or type.empty?)
  @name, @type = name, type
end

Instance Attribute Details

#name ⇒ Object (readonly)

Returns the value of attribute name.



4
5
6
 
# File 'lib/falluto/nusmv/variable.rb', line 4

def name
  @name
end

#type ⇒ Object (readonly)

Returns the value of attribute type.



4
5
6
 
# File 'lib/falluto/nusmv/variable.rb', line 4

def type
  @type
end