diff options
| author |  kyessenov <unknown> | 2010-07-21 03:48:25 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-21 03:48:25 +0000 |
| commit | ef8dbf9f324e65dac8479f0a6a073e893936ad61 (patch) | |
| tree | dc2d2c0e27b91184f69cc39aacdeb34e9fe3e094 /Chalice/src/Resolver.scala | |
| parent | 5195e2ae053e5cfddf93f3a8d8fc7495384c53ec (diff) | |
Chalice: fixed typos in strings; trying out committing with TFS
Diffstat (limited to 'Chalice/src/Resolver.scala')
| -rw-r--r-- | Chalice/src/Resolver.scala | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/Chalice/src/Resolver.scala b/Chalice/src/Resolver.scala index 7cf40bd7..af01ab9d 100644 --- a/Chalice/src/Resolver.scala +++ b/Chalice/src/Resolver.scala @@ -664,23 +664,31 @@ object Resolver { case expr @ AccessSeq(s, f, perm) =>
if (!specContext) context.Error(expr.pos, "acc expression is allowed only in positive predicate contexts")
ResolveExpr(s, context, twoStateContext, false)
- if(!s.typ.IsSeq) context.Error(expr.pos, "Target of [*] must be sequence")
+ if(!s.typ.IsSeq) context.Error(expr.pos, "Target of [*] must be sequence.")
perm match {
case None =>
case Some(perm) => ResolveExpr(perm, context, twoStateContext, false) }
f match {
- case Some(x) => var ma = MemberAccess(At(s, IntLiteral(0)), x); ma.pos = expr.pos; ResolveExpr(ma, context, twoStateContext, true);
+ case Some(x) =>
+ var ma = MemberAccess(At(s, IntLiteral(0)), x);
+ ma.pos = expr.pos;
+ ResolveExpr(ma, context, twoStateContext, true);
+ expr.memberAccess = Some(ma);
case _ => }
expr.typ = BoolClass
case expr @ RdAccessSeq(s, f, perm) =>
if (!specContext) context.Error(expr.pos, "rd expression is allowed only in positive predicate contexts")
ResolveExpr(s, context, twoStateContext, false)
- if(!s.typ.IsSeq) context.Error(expr.pos, "Target of [*] must be object reference.")
+ if(!s.typ.IsSeq) context.Error(expr.pos, "Target of [*] must be sequence.")
perm match {
case Some(Some(p)) => ResolveExpr(p, context, twoStateContext, false)
case _ => }
f match {
- case Some(x) => var ma = MemberAccess(At(s, IntLiteral(0)), x); ma.pos = expr.pos; ResolveExpr(ma, context, twoStateContext, true);
+ case Some(x) =>
+ var ma = MemberAccess(At(s, IntLiteral(0)), x);
+ ma.pos = expr.pos;
+ ResolveExpr(ma, context, twoStateContext, true);
+ expr.memberAccess = Some(ma);
case _ => }
expr.typ = BoolClass
case expr@ Credit(e,n) =>
|