private Type getType(ModuleEnvironment m, String typeString) {
   Type t = toType.get(typeString);
   if (t != null) return t;
   TypeStore ts = m.getStore();
   t = ts.lookupAlias(typeString);
   if (t != null) return t;
   t = ts.lookupAbstractDataType(typeString);
   return t;
 }
Example #2
0
 static {
   uptr.declareAbstractDataType(Type);
 }
Example #3
0
 private Factory() {
   uptr.declareAnnotation(Tree, Location, tf.sourceLocationType());
   uptr.declareAnnotation(Tree, Length, tf.integerType());
 }