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

        for (int i = 0; i < size; i++) {
            labels[i] = ((Port) portArray[i]).getName();
            types[i] = BaseType.UNKNOWN;
        }


        RecordType declaredType = new RecordType(labels, types);


        output.setTypeEquals(declaredType);


        // set the constraints between record fields and input ports
        _typeConstraintList = new LinkedList();


        // since the output port has a clone of the above RecordType, need to
        // get the type from the output port.
        RecordType outputType = (RecordType) output.getType();


        Iterator inputPorts = inputPortList().iterator();


        while (inputPorts.hasNext()) {
            TypedIOPort inputPort = (TypedIOPort) inputPorts.next();
            String label = inputPort.getName();
            Inequality inequality = new Inequality(inputPort.getTypeTerm(),
                    outputType.getTypeTerm(label));
            _typeConstraintList.add(inequality);
        }
        _typeConstraintListVersion = workspace().getVersion();
        return _typeConstraintList;
    }

View Full Code Here

Examples of ptolemy.data.type.RecordType

        // Handle indexing into a record.
        ptolemy.data.type.Type baseTokenType = ((ASTPtRootNode) node
                .jjtGetChild(0)).getType();


        if ((argCount == 1) && baseTokenType instanceof RecordType) {
            RecordType type = (RecordType) baseTokenType;


            if (type.labelSet().contains(node.getMethodName())) {
                Local originalBaseLocal = (Local) _nodeToLocal.get(node
                        .jjtGetChild(0));
                Local baseLocal = Jimple.v().newLocal("base",
                        RefType.v(PtolemyUtilities.recordTokenClass));
                _body.getLocals().add(baseLocal);

View Full Code Here

Examples of ptolemy.data.type.RecordType

     */
    public List typeConstraintList() {
        String[] labels = new String[0];
        Type[] types = new Type[0];


        RecordType declaredType = new RecordType(labels, types);
        input.setTypeAtMost(declaredType);


        // Set the constraints between record fields and output ports
        List constraints = new LinkedList();

View Full Code Here

Examples of ptolemy.data.type.RecordType


            if (!(inputType instanceof RecordType)) {
                return BaseType.UNKNOWN;
            }


            RecordType recordType = (RecordType) inputType;
            Map outputMap = new HashMap();
            Set recordLabels = recordType.labelSet();
            Iterator iterator = recordLabels.iterator();


            while (iterator.hasNext()) {
                String label = (String) iterator.next();
                Type type = recordType.get(label);
                outputMap.put(label, type);
            }


            List inputPorts = inputPortList();
            iterator = inputPorts.iterator();


            while (iterator.hasNext()) {
                TypedIOPort port = (TypedIOPort) iterator.next();


                if (port != input) {
                    outputMap.put(port.getName(), port.getType());
                }
            }


            // Construct the RecordType
            Object[] labelsObj = outputMap.keySet().toArray();
            String[] labels = new String[labelsObj.length];
            Type[] types = new Type[labelsObj.length];


            for (int i = 0; i < labels.length; i++) {
                labels[i] = (String) labelsObj[i];
                types[i] = (Type) outputMap.get(labels[i]);
            }


            return new RecordType(labels, types);
        }

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.