Module: Skeem::DatumDSL

Included in:
Primitive::PrimitiveBuilder, SkmLambda, SkmLambdaRep
Defined in:
lib/skeem/datum_dsl.rb

Overview

Mixin module that provides factory methods that ease the conversion of Ruby literals into SkmSimpleDatum or SkmCompoundDatum objects.

Instance Method Summary collapse

Instance Method Details

#boolean(aBoolean) ⇒ Object 



11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
# File 'lib/skeem/datum_dsl.rb', line 11

def boolean(aBoolean)
  return aBoolean if aBoolean.kind_of?(SkmBoolean)

  case aBoolean
    when TrueClass, FalseClass
      SkmBoolean.create(aBoolean)
    when /^#t(?:rue)?|true$/
      SkmBoolean.create(true)
    when /^#f(?:alse)?|false$/
      SkmBoolean.create(false)
    else
      raise StandardError, aBoolean.inspect
  end
end

#char(aLiteral) ⇒ Object 



65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
 
# File 'lib/skeem/datum_dsl.rb', line 65

def char(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmChar)

  case aLiteral
    when Numeric
      SkmChar.create_from_int(aLiteral)
    when String
      value = aLiteral.empty? ? '' : aLiteral.chr
      SkmChar.create(value)
    when SkmString
      value = aLiteral.value.empty? ? '' : aLiteral.value.chr
      SkmChar.create(value)
    else
      raise StandardError, aLiteral.inspect
  end
end

#identifier(aLiteral) ⇒ Object Also known as: symbol 



95
96
97
98
99
100
101
102
103
104
105
106
 
# File 'lib/skeem/datum_dsl.rb', line 95

def identifier(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmIdentifier)

  case aLiteral
    when String
      SkmIdentifier.create(aLiteral)
    when SkmString
      SkmIdentifier.create(aLiteral.value)
    else
      raise StandardError, aLiteral.inspect
  end
end

#integer(aLiteral) ⇒ Object 



26
27
28
29
30
31
32
33
34
35
36
37
 
# File 'lib/skeem/datum_dsl.rb', line 26

def integer(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmInteger)

  case aLiteral
    when Integer
      SkmInteger.create(aLiteral)
    when /^[+-]?\d+$/
      SkmInteger.create(aLiteral.to_i)
    else
      raise StandardError, aLiteral.inspect
  end
end

#list(aLiteral) ⇒ Object 



110
111
112
113
114
115
116
117
118
119
 
# File 'lib/skeem/datum_dsl.rb', line 110

def list(aLiteral)
  case aLiteral
    when Array
      SkmPair.create_from_a(to_datum(aLiteral))
    when SkmPair
      SkmPair.create_from_a(to_datum(aLiteral.to_a))
    else
      SkmPair.new(to_datum(aLiteral), SkmEmptyList.instance)
    end
end

#rational(aLiteral) ⇒ Object 



39
40
41
42
43
44
45
46
47
48
49
50
 
# File 'lib/skeem/datum_dsl.rb', line 39

def rational(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmRational)

  case aLiteral
    when Rational
      SkmRational.create(aLiteral)
    when /^[+-]?\d+\/\d+$/
      SkmRational.create(Rational(aLiteral))
    else
      raise StandardError, aLiteral.inspect
  end
end

#real(aLiteral) ⇒ Object 



52
53
54
55
56
57
58
59
60
61
62
63
 
# File 'lib/skeem/datum_dsl.rb', line 52

def real(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmReal)

  case aLiteral
    when Numeric
      SkmReal.create(aLiteral)
    when /^[+-]?\d+(?:\.\d*)?(?:[eE][+-]?\d+)?$/
      SkmReal.create(aLiteral.to_f)
    else
      raise StandardError, aLiteral.inspect
  end
end

#string(aLiteral) ⇒ Object 



82
83
84
85
86
87
88
89
90
91
92
93
 
# File 'lib/skeem/datum_dsl.rb', line 82

def string(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmString)

  case aLiteral
    when String
      SkmString.create(aLiteral)
    when SkmIdentifier
      SkmString.create(aLiteral.value)
    else
      SkmString.create(aLiteral.to_s)
  end
end

#to_datum(aLiteral) ⇒ Object

Conversion from Ruby object value to Skeem datum



133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
 
# File 'lib/skeem/datum_dsl.rb', line 133

def to_datum(aLiteral)
  return aLiteral if aLiteral.kind_of?(SkmSimpleDatum)
  return vector(aLiteral.members) if aLiteral.kind_of?(SkmVector)
  return aLiteral if aLiteral.kind_of?(Primitive::PrimitiveProcedure)

  case aLiteral
    when Array
      aLiteral.map { |elem| to_datum(elem) }
    when Integer
      SkmInteger.create(aLiteral)
    when Rational
      SkmRational.create(aLiteral)
    when Float
      SkmReal.create(aLiteral)
    when TrueClass, FalseClass
      SkmBoolean.create(aLiteral)
    when String
      parse_literal(aLiteral)
    when SkmPair # Special case: not a PORO literal
      # One assumes that a Skeem list contains only Skeem datum objects
      SkmPair.create_from_a(aLiteral.to_a)
    when SkmUndefined
      aLiteral
    else
      raise StandardError, aLiteral.inspect
  end
end

#vector(aLiteral) ⇒ Object 



121
122
123
124
125
126
127
128
129
130
 
# File 'lib/skeem/datum_dsl.rb', line 121

def vector(aLiteral)
  case aLiteral
    when Array
      SkmVector.new(to_datum(aLiteral))
    when SkmVector
      SkmVector.new(to_datum(aLiteral.members))
    else
      SkmVector.new([to_datum(aLiteral)])
    end
end