Package org.eclipse.imp.pdb.facts.type

Examples of org.eclipse.imp.pdb.facts.type.Type.match()

60
61
62
63
64
65
66
67
68
69
70
          if (v.getType().isSubtypeOf(declaredType)) {
            // TODO: do we actually want to instantiate the locally
            // bound type parameters?
            Map<Type, Type> bindings = new HashMap<Type, Type>();
            declaredType.match(v.getType(), bindings);
            declaredType = declaredType.instantiate(bindings);
            // Was: r = makeResult(declaredType,
            // applyRules(v.getValue()));
            r = org.rascalmpl.interpreter.result.ResultFactory
                .makeResult(declaredType, v.getValue(), __eval);
View Full Code Here
159
160
161
162
163
164
165
166
167
168
169
          if (v.getType().isSubtypeOf(declaredType)) {
            // TODO: do we actually want to instantiate the locally
            // bound type parameters?
            Map<Type, Type> bindings = new HashMap<Type, Type>();
            declaredType.match(v.getType(), bindings);
            declaredType = declaredType.instantiate(bindings);
            r = ResultFactory.makeResult(declaredType, v.getValue(), eval);
            eval.getCurrentModuleEnvironment().storeVariable(var.getName(), r);
          } else {
            throw new UnexpectedType(declaredType,
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.