コード例 #1
0
ファイル: RBVariable.java プロジェクト: SEAL-UCLA/ls-eclipse
 public BindingMode getBindingMode(ModeCheckContext context) {
   if (context.isBound(this)) {
     return Factory.makeBound();
   } else {
     return Factory.makeFree();
   }
 }
コード例 #2
0
 public BindingMode getBindingMode(ModeCheckContext context) {
   BindingMode bm = getArg().getBindingMode(context);
   if (bm.isBound()) {
     return bm;
   }
   return Factory.makePartiallyBound();
 }
コード例 #3
0
ファイル: RBQuoted.java プロジェクト: SEAL-UCLA/ls-eclipse
 protected Type getType(TypeEnv env) throws TypeModeError {
   return Factory.makeSubAtomicType(Factory.makeTypeConstructor(String.class));
 }