diff options
| author |  Dietrich <dgeisler50@gmail.com> | 2015-04-17 20:10:46 -0600 |
|---|---|---|
| committer | Dietrich <dgeisler50@gmail.com> | 2015-04-17 20:10:46 -0600 |
| commit | b5f62842c113ec93dee7f9ac067ae6d410e7bc29 (patch) | |
| tree | e5470bdbe17ff2bba1e781af87f31f89b6ac4774 | |
| parent | 02326abeca88715427d09f8995ee5ccfd9dab397 (diff) | |
added float type definition to AbsyType and parser (parser definition may be unfinished)
| -rw-r--r-- | Source/Core/AbsyType.cs | 30 | ||||
| -rw-r--r-- | Source/Core/Parser.cs | 1 |
2 files changed, 25 insertions, 6 deletions
diff --git a/Source/Core/AbsyType.cs b/Source/Core/AbsyType.cs index ec8cd9e2..ae307f7a 100644 --- a/Source/Core/AbsyType.cs +++ b/Source/Core/AbsyType.cs @@ -244,6 +244,11 @@ namespace Microsoft.Boogie { return false;
}
}
+ public virtual bool IsFloat {
+ get {
+ return false;
+ }
+ }
public virtual bool IsBool {
get {
return false;
@@ -996,10 +1001,8 @@ namespace Microsoft.Boogie { return this.T == SimpleType.Real;
}
}
- public override bool IsFloat
- {
- get
- {
+ public override bool IsFloat {
+ get {
return this.T == SimpleType.Float;
}
}
@@ -1909,6 +1912,12 @@ Contract.Requires(that != null); return p != null && p.IsReal;
}
}
+ public override bool IsFloat {
+ get {
+ Type p = ProxyFor;
+ return p != null && p.IsFloat;
+ }
+ }
public override bool IsBool {
get {
Type p = ProxyFor;
@@ -2757,11 +2766,20 @@ Contract.Requires(that != null); return ExpandedType.IsInt;
}
}
- public override bool IsReal {
- get {
+ public override bool IsReal
+ {
+ get
+ {
return ExpandedType.IsReal;
}
}
+ public override bool IsFloat
+ {
+ get
+ {
+ return ExpandedType.IsFloat;
+ }
+ }
public override bool IsBool {
get {
return ExpandedType.IsBool;
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index 1d4b38b8..4bf11e53 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -2258,6 +2258,7 @@ public class Errors { case 132: s = "invalid AttributeOrTrigger"; break;
case 133: s = "invalid AttributeParameter"; break;
case 134: s = "invalid QSep"; break;
+ case 135: s = "\"float\" expected"; break;
default: s = "error " + n; break;
}
|