Changeset 1569

Timestamp:

08/06/08 02:23:08 (4 months ago)

Author:

Chuck.Esterbrook

Message:

Added support for a Cobra compiler directive to specify the type for number
credit:hopscc
ticket:21

Location:

cobra/trunk

Files:

• Developer/IntermediateReleaseNotes.text (modified) (1 diff)
• Source/CobraParser.cobra (modified) (2 diffs)
• Source/Compiler.cobra (modified) (1 diff)
• Tests/200-misc/300-number-type/200-number-directive.cobra (added)

cobra/trunk/Developer/IntermediateReleaseNotes.text

@@ -1 +1 @@
 Post 0.8
 
+* Added support for a Cobra compiler directive to specify the type for `number`
+    type of number and integer literals same as command line -number option
+    %% number  'decimal' | 'float' | 'float32' | 'float64'
+    
 * Added a new built-in doc tool accessible via "cobra -doc ...". The documentation is generated to local HTML files using your declarations, doc strings, contracts, etc.
 

cobra/trunk/Source/CobraParser.cobra

@@ -522 +522 @@
                                                 isGood = false
                                 if not isGood
-                                        sugg = Compiler.suggestionFor(tok.text)
+                                        sugg = if(tok.text.length, Compiler.suggestionFor(tok.text), nil)
                                         sugg = if(sugg, ' Try "[sugg]".', '')
                                         .throwError('Expecting use, assembly, namespace, class, interface or enum, but got [tok].[sugg]')
@@ -543 +543 @@
                                 # TODO: throw AssertException(SourceSite sourceSite, object[] expressions, object thiss, object info)
                                 assert false, IdentifierExpr(token, 'throw')
+                        on 'number'
+                                # number 'decimal' | 'float' | 'float32' | 'float64'
+                                typeName = .grab
+                                if typeName.text not in ['decimal', 'float', 'float32', 'float64']
+                                        .throwError('Compiler directive "number": unrecognized type "[typeName.text]". Must be one of "decimal", "float", "float32" or "float64".')
+                                .expect('EOL')
+                                comp = .typeProvider to Compiler?
+                                if comp, comp.numberTypeName = typeName.text
                         else
                                 .throwError('Unknown compiler directive.')

cobra/trunk/Source/Compiler.cobra

@@ -516 +516 @@
                                 else, throw FallThroughException(.options['number'])
                 return _numberType to !
-                
+
+        set numberTypeName as String
+                """
+                Set `number` type from a string/name.
+                """
+                require value in ['decimal', 'float', 'float32', 'float64']
+                branch value
+                        on 'decimal', _numberType = .decimalType
+                        on 'float',   _numberType = .floatType
+                        on 'float32', _numberType = .floatType(32)
+                        on 'float64', _numberType = .floatType(64)
+                        else, throw FallThroughException(value)
+
         get passThroughType as PassThroughType
                 if _passThroughType is nil