Java Factory Examples

Example #1

File: RBVariable.java Project: SEAL-UCLA/ls-eclipse

 public BindingMode getBindingMode(ModeCheckContext context) {
   if (context.isBound(this)) {
     return Factory.makeBound();
   } else {
     return Factory.makeFree();
   }
 }

Example #2

File: RBCompoundTerm.java Project: SEAL-UCLA/Ref-Finder

 public BindingMode getBindingMode(ModeCheckContext context) {
   BindingMode bm = getArg().getBindingMode(context);
   if (bm.isBound()) {
     return bm;
   }
   return Factory.makePartiallyBound();
 }

Example #3

File: RBQuoted.java Project: SEAL-UCLA/ls-eclipse

 protected Type getType(TypeEnv env) throws TypeModeError {
   return Factory.makeSubAtomicType(Factory.makeTypeConstructor(String.class));
 }