Examples of RecordType

com.google.appengine.api.files.RecordConstants.RecordType
com.google.appengine.tools.mapreduce.impl.util.LevelDbConstants.RecordType
com.google.javascript.rhino.jstype.RecordType
A record (structural) type. Subtyping: The subtyping of a record type is defined via structural comparison of a record type's properties. For example, a record type of the form { a : TYPE_1 } is a supertype of a record type of the form { b : TYPE_2, a : TYPE_1 } because B can be assigned to A and matches all constraints. Similarly, a defined type can be assigned to a record type so long as that defined type matches all property constraints of the record type. A record type of the form { a : A, b : B } can be assigned to a record of type { a : A }.
de.fu_berlin.inf.dpp.whiteboard.sxe.constants.RecordType
gov.loc.www.zing.srw.RecordType
net.opengis.cat.csw20.RecordType
A representation of the model object 'Record Type'. This type extends DCMIRecordType to add ows:BoundingBox; it may be used to specify a spatial envelope for the catalogued resource.
The following features are supported:
- {@link net.opengis.cat.csw20.RecordType#getAnyText Any Text}
- {@link net.opengis.cat.csw20.RecordType#getBoundingBox Bounding Box}
@see net.opengis.cat.csw20.Csw20Package#getRecordType() @model extendedMetaData="name='RecordType' kind='elementOnly'" @generated
org.apache.directory.server.dns.messages.RecordType
org.eclipse.cdt.dsf.mi.service.command.output.MIParser.RecordType
org.jnetstream.capture.file.RecordType
org.lilyproject.repository.api.RecordType
A record type describes the schema to be followed by a {@link Record}.
Record types are managed via the {@link TypeManager}. To instantiate a RecordType use {@link TypeManager#newRecordType(QName)} TypeManager.newRecordType}. As all entities within this API,record types are dumb data objects.
A record type consists of:
- a list of field types, associated via {@link FieldTypeEntry} which defines properties specific to the useof a field type within this record type.
- a list of supertypes, these are references to other record types that are parent types for this record type.
Record types are versioned: upon each update, a new version of the record type is created. Record store a pointer to the particular version of a record type that was used when creating/updating a record type. The references to the supertype record types are also to specific versions.
A record type has two unique identifiers:
- a system-generated id, immutable after creation of the record type
- a name in the form of a {@link QName qualified (namespaced) name}, which is mutable after creation of the record type. Changing the name of a record type affects all versions of the record type (the name is a non-versioned property of the record type).
org.nfctools.ndef.RecordType
org.openquark.cal.compiler.RecordType
A class used to represent record types such as: literal (non record-polymorphic) records:
- {name :: String, height :: Double}
- Num a=> {foo :: [a], bar :: Char, zap :: Maybe a}
record-polymorphic records:
- r\field => {r | field1 :: Char}
- (r\name, r\height) => {r | name :: String, height :: Double}
Implementation note: RecordType objects can be though of as defining a finite sequence of extensions from a base record variable: the non-record polymorphic records are: {NO_FIELDS | extensionFieldsMap1 | extensionFieldsMap2 | ... | extensionFieldsMapN} the record-polymorphic records are: r\lacksFields => {r | extensionFieldsMap1 | extensionFieldsMap2 | ... | extensionFieldsMapN} Where the extensionFieldsMaps are restricted by construction to having distinct domains (i.e. the fields don't overlap) and there are similar consistency constraints on the record variable r.
After type-checking however, we can reduce these representations to the simpler cannonical forms: {NO_FIELDS | hasFieldsMap} r\lacksFields => {r | hasFieldsMap}
This is similar to how TypeExpr values after type-checking are reduced to having no instantiated type variables (deep pruning). @author Bo Ilic
org.yinwang.yin.value.RecordType
ptolemy.data.type.RecordType
A class representing the type of a RecordToken. To set the type of a typeable object (such as a port or parameter) to a record with particular fields, create an instance of this class and call setTypeEquals() with that instance as an argument.
Note that a record type with more fields is a subtype of a record type with a subset of the fields. For example, {x = double, y = int} is a subtype of {x = double}. When a record of type {x = double, y = int} is converted to one of type {x = double}, the extra field is discarded. The converted record, therefore, will have exactly the fields in the type.
A consequence of this is that all record types are subtypes of the empty record type. Hence, to require that a typeable object be a record type without specifying what the fields are, use
```
 typeable.setTypeAtMost(new RecordType(new String[0], new Type[0])); 
```
Note, however, that by itself this type constraint will not be useful because it does not, by itself, prevent the type from resolving to unknown (the unknown type is at the bottom of the type lattice, and hence satisfies this type constraint). @author Yuhong Xiong, Elaine Cheong and Steve Neuendorffer; contributor: J. S. Senecal @version $Id: RecordType.java,v 1.75 2007/12/07 06:31:50 cxh Exp $ @since Ptolemy II 3.0 @Pt.ProposedRating Red (neuendor) @Pt.AcceptedRating Red (cxh)

Examples of ptolemy.data.type.RecordType

        // the range field. This must be done after setting the value
        // above, because the value in the base class is not a subtype
        // of this specified type.
        String[] labels = { "range", "power" };
        Type[] types = { BaseType.DOUBLE, BaseType.DOUBLE };
        RecordType type = new RecordType(labels, types);


        // Setting an upper bound allows the addition of fields.
        defaultProperties.setTypeAtMost(type);


        powerPropagationFactor = new Parameter(this, "powerPropagationFactor");

View Full Code Here

Examples of ptolemy.data.type.RecordType


        // Force the type of the defaultProperties to at least include
        // the range field.
        String[] labels = { "range" };
        Type[] types = { BaseType.DOUBLE };
        RecordType type = new RecordType(labels, types);


        // Setting an upper bound allows the addition of fields.
        defaultProperties.setTypeAtMost(type);
        defaultProperties.setExpression("{range = Infinity}");
    }

View Full Code Here

Examples of ptolemy.data.type.RecordType

        super(container, name);
        update = new TypedIOPort(this, "update", true, false);


        String[] labels = { "lot", "state" };
        Type[] types = { BaseType.STRING, BaseType.INT };
        RecordType recordType = new RecordType(labels, types);
        update.setTypeEquals(recordType);


        debug = new TypedIOPort(this, "debug", false, true);
        debug.setTypeEquals(recordType);

View Full Code Here

Examples of ptolemy.data.type.RecordType

        for (int i = 0; i < size; i++) {
            labels[i] = (String) labelsObjects[i];
            types[i] = get(labels[i]).getType();
        }


        return new RecordType(labels, types);
    }

View Full Code Here

Examples of ptolemy.data.type.RecordType

     *  corresponding function.
     *  @return The type of the value returned from the corresponding function.
     */
    public static Type mergeReturnType(Type type1, Type type2) {
        if (type1 instanceof RecordType && type2 instanceof RecordType) {
            RecordType recordType1 = (RecordType) type1;
            RecordType recordType2 = (RecordType) type2;


            Set unionSet = new HashSet();
            Set labelSet1 = recordType1.labelSet();
            Set labelSet2 = recordType2.labelSet();
            unionSet.addAll(labelSet1);
            unionSet.addAll(labelSet2);


            Object[] labelsObjects = unionSet.toArray();
            int size = labelsObjects.length;
            String[] labels = new String[size];
            Type[] types = new Type[size];


            for (int i = 0; i < size; i++) {
                labels[i] = (String) labelsObjects[i];


                Type fieldType = recordType1.get(labels[i]);


                if (fieldType != null) {
                    types[i] = fieldType;
                } else {
                    types[i] = recordType2.get(labels[i]);
                }
            }


            return new RecordType(labels, types);
        } else {
            return BaseType.UNKNOWN;
        }
    }

View Full Code Here

Examples of ptolemy.data.type.RecordType

        String[] labels = new String[] { "name", "value" };
        Type[] values = new Type[] { BaseType.STRING, BaseType.STRING };


        // An array of records {{name = "", value = ""}}
        environment
                .setTypeEquals(new ArrayType(new RecordType(labels, values)));


        // Array with an empty name and value means
        // default environment of the calling process.
        environment.setExpression("{{name = \"\", value = \"\"}}");

View Full Code Here

Examples of ptolemy.data.type.RecordType

                    .isAssignableFrom(tokenClass)) {
                Type type = new ArrayType(BaseType.GENERAL);
                return type;
            } else if (ptolemy.data.RecordToken.class
                    .isAssignableFrom(tokenClass)) {
                Type type = new RecordType(new String[0], new Type[0]);
                return type;
            } else if (ptolemy.data.Token.class.isAssignableFrom(tokenClass)) {
                Type type = BaseType.forClassName(tokenClass.getName());


                if (type == null) {

View Full Code Here

Examples of ptolemy.data.type.RecordType

            throws IllegalActionException {
        Type[] childTypes = _inferAllChildren(node);


        // Handle indexing into a record.
        if ((childTypes.length == 1) && childTypes[0] instanceof RecordType) {
            RecordType type = (RecordType) childTypes[0];


            if (type.labelSet().contains(node.getMethodName())) {
                _setType(node, type.get(node.getMethodName()));
                return;
            }
        }


        CachedMethod cachedMethod = CachedMethod.findMethod(node

View Full Code Here

Examples of ptolemy.data.type.RecordType

        Type[] childTypes = _inferAllChildren(node);


        String[] names = (String[]) node.getFieldNames().toArray(
                new String[node.jjtGetNumChildren()]);


        _setType(node, new RecordType(names, childTypes));
    }

View Full Code Here

Examples of ptolemy.data.type.RecordType

        // Set the type of the output port.
        //output.setMultiport(true);
        output.setTypeEquals(BaseType.STRING);


        styleSheetParameters = new PortParameter(this, "styleSheetParameters");
        styleSheetParameters.setTypeAtMost(new RecordType(new String[0],
                new Type[0]));
        styleSheetParameters.setExpression("emptyRecord()");
        styleSheetFile = new FileParameter(this, "styleSheetFile");


    }

View Full Code Here

0 1 2 3 4 5

TOP

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.