Examples of lookupAbstractDataType()

Examples of org.eclipse.imp.pdb.facts.type.TypeStore.lookupAbstractDataType()

245
246
247
248
249
250
251
252
253
254
255
      return t;
    TypeStore ts = m.getStore();
    t = ts.lookupAlias(typeString);
    if (t != null)
      return t;
    t = ts.lookupAbstractDataType(typeString);
    return t;
  }

  private Object javaObject(IValue v) {
    if (v.getType().isBool())
View Full Code Here

Examples of org.rascalmpl.interpreter.env.Environment.lookupAbstractDataType()

45
46
47
48
49
50
51
52
53
54
55
        if (type != null) {
          return type;
        }

        Type tree = theEnv.lookupAbstractDataType(name);

        if (tree != null) {
          return tree;
        }
View Full Code Here

Examples of org.rascalmpl.interpreter.env.Environment.lookupAbstractDataType()

86
87
88
89
90
91
92
93
94
95
96
      if (theEnv != null) {
        type = theEnv.lookupAlias(name);

        if (type == null) {
          type = theEnv.lookupAbstractDataType(name);
        }
      }

      if (type != null) {
        Map<Type, Type> bindings = new HashMap<Type, Type>();
View Full Code Here

Examples of org.rascalmpl.interpreter.env.ModuleEnvironment.lookupAbstractDataType()

55
56
57
58
59
60
61
62
63
64
65
          throw new UndeclaredModule(
              org.rascalmpl.interpreter.utils.Names
                  .moduleName(sort), sort);
        }

        adt = mod.lookupAbstractDataType(name);
      } else {
        adt = env.lookupAbstractDataType(name);
      }

      if (adt == null) {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.