Class: Sfp::Variable

Inherits:
Array
  • Object
show all
Defined in:
lib/sfp/sas_translator.rb

Overview

SAS Variable is a finite-domain variable It has a finite set of possible values

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(name, type, layer = -1,, init = nil, goal = nil, is_final = false) ⇒ Variable

Returns a new instance of Variable.



1800
1801
1802
1803
1804
1805
1806
1807
1808
1809
 
# File 'lib/sfp/sas_translator.rb', line 1800

def initialize(name, type, layer=-1, init=nil, goal=nil, is_final=false)
  @name = name
  @type = type
  @layer = layer
  @init = init
  @goal = goal
  @is_final = is_final
  @is_primitive = (type == '$.String' or type == '$.Integer' or type == '$.Boolean')
  @mutable = true
end

Instance Attribute Details

#goal ⇒ Object

Returns the value of attribute goal.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def goal
  @goal
end

#id ⇒ Object

Returns the value of attribute id.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def id
  @id
end

#init ⇒ Object

Returns the value of attribute init.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def init
  @init
end

#is_final ⇒ Object

Returns the value of attribute is_final.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def is_final
  @is_final
end

#is_primitive ⇒ Object (readonly)

Returns the value of attribute is_primitive.



1798
1799
1800
 
# File 'lib/sfp/sas_translator.rb', line 1798

def is_primitive
  @is_primitive
end

#isset ⇒ Object

Returns the value of attribute isset.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def isset
  @isset
end

#layer ⇒ Object

Returns the value of attribute layer.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def layer
  @layer
end

#mutable ⇒ Object

Returns the value of attribute mutable.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def mutable
  @mutable
end

#name ⇒ Object

Returns the value of attribute name.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def name
  @name
end

#type ⇒ Object

Returns the value of attribute type.



1797
1798
1799
 
# File 'lib/sfp/sas_translator.rb', line 1797

def type
  @type
end

Instance Method Details

#not(x) ⇒ Object 



1833
1834
1835
 
# File 'lib/sfp/sas_translator.rb', line 1833

def not(x)
  self.select { |y| y != x }
end

#to_s ⇒ Object 



1811
1812
1813
1814
1815
1816
1817
1818
1819
1820
 
# File 'lib/sfp/sas_translator.rb', line 1811

def to_s
  s = @name.to_s + '|' + @type.to_s
  s += '|' + (@init == nil ? '-' : (@init.is_a?(Hash) ? @init.tostring : @init.to_s))
  s += '|' + (@goal == nil ? '-' : (@goal.is_a?(Hash) ? @goal.tostring : @goal.to_s))
  s += '|' + (@is_final ? 'final' : 'notfinal') + "\n"
  s += "\t["
  self.each { |v| s += (v.is_a?(Hash) ? v.tostring : v.to_s) + ',' }
  s = (self.length > 0 ? s.chop : s) + "]"
  return s
end

#to_sas(root) ⇒ Object

return variable representation in SAS+ format



1823
1824
1825
1826
1827
1828
1829
1830
1831
 
# File 'lib/sfp/sas_translator.rb', line 1823

def to_sas(root)
  sas = "begin_variable\nvar_#{@id}#{@name}\n#{@layer}\n#{self.length}\n"
  self.each { |v|
    v = root.at?(v) if v.is_a?(String) and v.isref
    v = '"' + v + '"' if v.is_a?(String)
    sas += (v.is_a?(Hash) ? (v.isnull ? "null\n" : "#{v.ref}\n") : "#{v}\n")
  }
  return sas += "end_variable"
end