Class: Falluto::NuSMV::Module

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

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name) ⇒ Module

Returns a new instance of Module.



8
9
10
11
12
 
# File 'lib/falluto/nusmv/module.rb', line 8

def initialize name
  @name = name
  @faults = SymbolTable.new
  @variables = SymbolTable.new
end

Instance Attribute Details

#name ⇒ Object (readonly)

Returns the value of attribute name.



6
7
8
 
# File 'lib/falluto/nusmv/module.rb', line 6

def name
  @name
end

Instance Method Details

#add_fault(fault) ⇒ Object 



14
15
16
 
# File 'lib/falluto/nusmv/module.rb', line 14

def add_fault fault
  @faults.insert fault
end

#add_variable(var) ⇒ Object 



35
36
37
 
# File 'lib/falluto/nusmv/module.rb', line 35

def add_variable var
  @variables.insert var
end

#each_fault(&block) ⇒ Object 



31
32
33
 
# File 'lib/falluto/nusmv/module.rb', line 31

def each_fault &block
  @faults.each &block
end

#each_variable(&block) ⇒ Object 



39
40
41
 
# File 'lib/falluto/nusmv/module.rb', line 39

def each_variable &block
  @variables.each &block
end

#get_faults(*fault_names) ⇒ Object 



18
19
20
21
 
# File 'lib/falluto/nusmv/module.rb', line 18

def get_faults *fault_names
  fault_names.collect{ |fname| @faults.get fname }
#    @faults.get f
end

#has_faults? ⇒ Boolean

Returns:

  • (Boolean) 


27
28
29
 
# File 'lib/falluto/nusmv/module.rb', line 27

def has_faults?
  not @faults.empty?
end

#is_defined?(fault) ⇒ Boolean

Returns:

  • (Boolean) 


23
24
25
 
# File 'lib/falluto/nusmv/module.rb', line 23

def is_defined? fault
  @faults.has? fault
end