Examples of TypeExpr | massapi.com

Home Package Class Method

Examples of TypeExpr

org.openquark.cal.compiler.TypeExpr
The internal representation of type expressions. Some examples are (schematically) a -> b, Int, (Int, a -> Boolean).
From the point of view of client packages outside the compiler package, TypeExpr is an immutable class.
Replacing an instantiated type variable by its instantiation results in an equivalent type.
TypeExpr is not an immutable class, but its state transitions are limited. The only state transitions allowed are:
1. pruning (replacing instantiated type variables by their instantiations. This preserves the type equivalence class).
2. instantiating an uninstantiated type variable to a type constructor or to a type variable with more stringent type class constraints. This makes the type expression a specialization of the original type expression.
As a consequence, type expressions whose types do not depend on type variables will always represent the same type.
Creation date: (July 17, 2000) @author Bo Ilic

Examples of org.openquark.cal.compiler.TypeExpr

                
                int arity = fieldNames.size();
                listValue = new ArrayList<ValueNode>(arity);
                for (int i = 0 ; i < arity; i++) {
                
                    TypeExpr argType = recordType.getHasFieldType(fieldNames.get(i));
                    ValueNode valueNode = getValueNodeBuilderHelper().getValueNodeForTypeExpr(argType);
                    if (valueNode == null) {
                        // Cannot create a node represented, thus cannot create this node
                        return null;
                    }

View Full Code Here

0 1 2 3 4 5

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.