Example #1
0
 public BindingMode getBindingMode(ModeCheckContext context) {
   if (context.isBound(this)) {
     return Factory.makeBound();
   } else {
     return Factory.makeFree();
   }
 }
Example #2
0
 public BindingMode getBindingMode(ModeCheckContext context) {
   BindingMode bm = getArg().getBindingMode(context);
   if (bm.isBound()) {
     return bm;
   }
   return Factory.makePartiallyBound();
 }
Example #3
0
 protected Type getType(TypeEnv env) throws TypeModeError {
   return Factory.makeSubAtomicType(Factory.makeTypeConstructor(String.class));
 }