Examples with NamedType jkind.lustre.NamedType used on opensource projects

Example 6 with NamedType

use of jkind.lustre.NamedType in project AGREE by loonwerks.

the class AGREESimulationStateElementFactory method resolveType.

/**
 * Attempts to resolve a specified named type with a RecordType if applicable.
 * @param typeIdToTypeMap
 * @param type
 * @return
 */
private static jkind.lustre.Type resolveType(jkind.lustre.Type type, final Map<String, jkind.lustre.Type> typeIdToTypeMap) {
    // Try to resolve named types based on any typedefs
    while (type instanceof NamedType) {
        final jkind.lustre.Type newType = typeIdToTypeMap.get(((NamedType) type).name);
        if (newType == null) {
            break;
        }
        type = newType;
    }
    return type;
}