Package | Description |
---|---|
org.geon | |
org.kepler.dataproxy.datasource.opendap | |
org.kepler.ddp | |
org.kepler.ddp.actor.pattern | |
org.kepler.ddp.director | |
org.kepler.gis.data | |
org.kepler.hadoop.director | |
org.kepler.hadoop.util | |
org.kepler.sms | |
org.kepler.sms.gui | |
org.kepler.stratosphere.type | |
org.kepler.webview.actor | |
org.kepler.webview.data | |
org.sdm.spa.util | |
ptolemy.actor |
Executable entities.
|
ptolemy.actor.util |
Actor utilities.
|
ptolemy.data |
Packages for manipulating data that passes between actors.
|
ptolemy.data.expr |
The Ptolemy II Expression Language.
|
ptolemy.data.type |
The type system.
|
ptolemy.data.type.test |
The ptolemy.data.type.test package.
|
ptolemy.domains.modal.kernel |
The ptolemy.domains.modal.kernel package.
|
Modifier and Type | Class and Description |
---|---|
static class |
DBConnectionToken.DBConnectionType
The database connection type.
|
Modifier and Type | Field and Description |
---|---|
static Type |
DBConnectionToken.DBCONNECTION
The DBConnection type: the least upper bound of all the cryptographic key
types.
|
Modifier and Type | Method and Description |
---|---|
Type |
DBConnectionToken.DBConnectionType.add(Type rightArgumentType)
Return a new type which represents the type that results from adding
a token of this type and a token of the given argument type.
|
Type |
DBConnectionToken.DBConnectionType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given argument type.
|
static Type |
OpenDBConnection.getDBParamsType()
Get the type of database parameter token.
|
Type |
DBConnectionToken.getType()
Return the type of this token.
|
Type |
DBConnectionToken.DBConnectionType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given argument
type.
|
Type |
DBConnectionToken.DBConnectionType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given argument
type.
|
Type |
DBConnectionToken.DBConnectionType.one()
Return the type of the multiplicative identity for elements of this
type.
|
Type |
DBConnectionToken.DBConnectionType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given argument
type.
|
Type |
DBConnectionToken.DBConnectionType.zero()
Return the type of the additive identity for elements of this type.
|
Modifier and Type | Method and Description |
---|---|
Type |
DBConnectionToken.DBConnectionType.add(Type rightArgumentType)
Return a new type which represents the type that results from adding
a token of this type and a token of the given argument type.
|
Type |
DBConnectionToken.DBConnectionType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given argument type.
|
boolean |
DBConnectionToken.DBConnectionType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
DBConnectionToken.DBConnectionType.isSubstitutionInstance(Type type)
Return true if the argument is a substitution instance of this type.
|
Type |
DBConnectionToken.DBConnectionType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given argument
type.
|
Type |
DBConnectionToken.DBConnectionType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given argument
type.
|
Type |
DBConnectionToken.DBConnectionType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given argument
type.
|
Modifier and Type | Method and Description |
---|---|
static Type |
AttTypeMapper.buildMetaDataTypes(opendap.dap.BaseType bt) |
static Type |
AttTypeMapper.convertAttributeToType(opendap.dap.Attribute att) |
static Type |
TypeMapper.mapDapObjectToType(opendap.dap.BaseType dapBT,
boolean addMetadataRecord)
Maps a DAP2 variable (which is represented as an
opendap.dap.BaseType
to a kepler data Type. |
static Type |
AttTypeMapper.mapSimpleTypeToType(int attType) |
Modifier and Type | Method and Description |
---|---|
static Token |
Utilities.createTokenFromString(java.lang.String tokenStr,
Type type)
Create a Token from a string based on the Ptolemy Type.
|
Modifier and Type | Field and Description |
---|---|
protected Type |
AtomicPatternActor._keyType
The key type.
|
protected Type |
AtomicPatternActor._valueType
The value type.
|
static Type |
Types.keyValueArrayType
The Ptolemy type for top-level ports of DDP pattern actors.
|
Modifier and Type | Method and Description |
---|---|
static Type |
Types.createKeyValueArrayType(Type keyType,
Type valueType)
Create the Ptolemy type for array of key values for specific key and value types.
|
static Type |
Types.getKeyValueType(Parameter parameter,
java.lang.String typesStr)
Get the Ptolemy type for a key-value type string.
|
static Type[] |
Types.getKeyValueTypes(Parameter parameter,
java.lang.String typesStr)
Get the Ptolemy types for a key-value type string.
|
static Type |
Types.getTypeFromString(java.lang.String typeStr)
Get the Ptolemy type from a string.
|
Modifier and Type | Method and Description |
---|---|
static Type |
Types.createKeyValueArrayType(Type keyType,
Type valueType)
Create the Ptolemy type for array of key values for specific key and value types.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<java.lang.String,Type> |
DDPEngine._setPortTypes(DDPPatternActor actor)
Set the port types inside a cloned pattern actor.
|
Modifier and Type | Class and Description |
---|---|
static class |
BoundingBoxToken.BoundingBoxType
The Type for the BoundingBoxToken.
|
static class |
GISToken.GISType |
static class |
RasterToken.RasterType |
static class |
VectorToken.VectorType |
Modifier and Type | Method and Description |
---|---|
Type |
RasterToken.RasterType.add(Type rightArgumentType) |
Type |
VectorToken.VectorType.add(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.add(Type rightArgumentType) |
Type |
GISToken.GISType.add(Type rightArgumentType) |
Type |
RasterToken.RasterType.divide(Type rightArgumentType) |
Type |
VectorToken.VectorType.divide(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.divide(Type rightArgumentType) |
Type |
GISToken.GISType.divide(Type rightArgumentType) |
Type |
RasterToken.getType() |
Type |
VectorToken.getType()
Get the token type.
|
Type |
BoundingBoxToken.getType()
Get the token type.
|
Type |
GISToken.getType()
Get the token type.
|
Type |
RasterToken.RasterType.modulo(Type rightArgumentType) |
Type |
VectorToken.VectorType.modulo(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.modulo(Type rightArgumentType) |
Type |
GISToken.GISType.modulo(Type rightArgumentType) |
Type |
RasterToken.RasterType.multiply(Type rightArgumentType) |
Type |
VectorToken.VectorType.multiply(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.multiply(Type rightArgumentType) |
Type |
GISToken.GISType.multiply(Type rightArgumentType) |
Type |
RasterToken.RasterType.one() |
Type |
VectorToken.VectorType.one() |
Type |
BoundingBoxToken.BoundingBoxType.one() |
Type |
GISToken.GISType.one() |
Type |
RasterToken.RasterType.subtract(Type rightArgumentType) |
Type |
VectorToken.VectorType.subtract(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.subtract(Type rightArgumentType) |
Type |
GISToken.GISType.subtract(Type rightArgumentType) |
Type |
RasterToken.RasterType.zero() |
Type |
VectorToken.VectorType.zero() |
Type |
BoundingBoxToken.BoundingBoxType.zero() |
Type |
GISToken.GISType.zero() |
Modifier and Type | Method and Description |
---|---|
Type |
RasterToken.RasterType.add(Type rightArgumentType) |
Type |
VectorToken.VectorType.add(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.add(Type rightArgumentType) |
Type |
GISToken.GISType.add(Type rightArgumentType) |
Type |
RasterToken.RasterType.divide(Type rightArgumentType) |
Type |
VectorToken.VectorType.divide(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.divide(Type rightArgumentType) |
Type |
GISToken.GISType.divide(Type rightArgumentType) |
boolean |
RasterToken.RasterType.isCompatible(Type type) |
boolean |
VectorToken.VectorType.isCompatible(Type type) |
boolean |
BoundingBoxToken.BoundingBoxType.isCompatible(Type type) |
boolean |
GISToken.GISType.isCompatible(Type type) |
boolean |
RasterToken.RasterType.isSubstitutionInstance(Type type) |
boolean |
VectorToken.VectorType.isSubstitutionInstance(Type type) |
boolean |
BoundingBoxToken.BoundingBoxType.isSubstitutionInstance(Type type) |
boolean |
GISToken.GISType.isSubstitutionInstance(Type type) |
Type |
RasterToken.RasterType.modulo(Type rightArgumentType) |
Type |
VectorToken.VectorType.modulo(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.modulo(Type rightArgumentType) |
Type |
GISToken.GISType.modulo(Type rightArgumentType) |
Type |
RasterToken.RasterType.multiply(Type rightArgumentType) |
Type |
VectorToken.VectorType.multiply(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.multiply(Type rightArgumentType) |
Type |
GISToken.GISType.multiply(Type rightArgumentType) |
Type |
RasterToken.RasterType.subtract(Type rightArgumentType) |
Type |
VectorToken.VectorType.subtract(Type rightArgumentType) |
Type |
BoundingBoxToken.BoundingBoxType.subtract(Type rightArgumentType) |
Type |
GISToken.GISType.subtract(Type rightArgumentType) |
Token |
WebViewConverter.toToken(java.lang.String data,
Type type)
Converts from a geojson string to a token.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<java.lang.String,Type> |
HadoopEngine._setPortTypes(DDPPatternActor actor)
Set the port types inside a cloned pattern actor.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,Type> |
DDPPatternActorUtil.getTypeMap() |
Modifier and Type | Method and Description |
---|---|
static java.lang.Class<?> |
StubUtilities.convertToHadoopType(Type type)
Convert a token type to hadoop data type.
|
static java.lang.Class<?> |
StubUtilities.convertToTaggedType(Type type)
Convert a token type to hadoop data type.
|
Modifier and Type | Method and Description |
---|---|
void |
DDPPatternActorUtil.setTypeMap(java.util.Map<java.lang.String,Type> typeMap) |
Constructor and Description |
---|
DDPPatternActorUtil(SingleInputPatternActor actor,
java.lang.String name,
java.lang.String actorString,
java.util.Map<java.lang.String,Type> typeMap) |
Modifier and Type | Method and Description |
---|---|
Type |
KeplerRefinementIOPort.getType()
...
|
Type |
KeplerCompositeIOPort.getType()
Returns a record type of the encapsulated ports, where the labels are the
port names.
|
abstract Type |
KeplerVirtualIOPort.getType() |
Modifier and Type | Method and Description |
---|---|
static TypedIOPort |
SemanticTypeEditor.addInputType(TypedAtomicActor actor,
Type type,
java.lang.String name) |
static TypedIOPort |
SemanticTypeEditor.addOutputType(TypedAtomicActor actor,
Type type,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static java.lang.Class<? extends eu.stratosphere.types.Key> |
TypeUtilities.getPactKeyTypeForPtolemyType(Type type)
Get the PACT Key type for a Ptolemy type.
|
static java.lang.Class<? extends eu.stratosphere.types.Value> |
TypeUtilities.getPactValueTypeForPtolemyType(Type type)
Get the PACT Value type for a Ptolemy type.
|
Modifier and Type | Method and Description |
---|---|
protected Token |
WebView._convertOutputToToken(java.lang.String data,
Type type) |
Modifier and Type | Method and Description |
---|---|
static void |
TokenConverter.addConversion(Type type,
Converter converter) |
Token |
TokenConverter.convertToToken(java.lang.String data,
Type type)
Convert data to a Ptolemy token with the specified type.
|
Token |
Converter.toToken(java.lang.String data,
Type type) |
Modifier and Type | Field and Description |
---|---|
Type |
ActorInspector.PortInfo.type |
Constructor and Description |
---|
PortInfo(java.lang.String name,
Type type,
boolean isMultiport) |
Modifier and Type | Field and Description |
---|---|
protected Type |
TypedIOPort._resolvedType
The resolved type of the port.
|
Modifier and Type | Method and Description |
---|---|
Type |
TypeEvent.getNewType()
Return the new type.
|
Type |
TypeEvent.getOldType()
Return the old type.
|
Type |
TypedIOPort.getType()
Return the type of this port.
|
Modifier and Type | Method and Description |
---|---|
void |
TypedIOPort.setTypeAtMost(Type type)
Constrain the type of this port to be equal to or less
than the argument.
|
void |
TypedIOPort.setTypeEquals(Type type)
Set the type of this port.
|
Constructor and Description |
---|
TypeEvent(Typeable typeable,
Type oldType,
Type newType)
Construct a TypeEvent, with the specified Typeable and the
old and new types.
|
Modifier and Type | Field and Description |
---|---|
protected java.util.Set<Type> |
GLBFunction._cachedTypes
The constant types found in destination ports.
|
Modifier and Type | Method and Description |
---|---|
Type[] |
GLBFunction.getConstants()
Return the type constants for this function, which are
the type constant types for all the destination ports.
|
Modifier and Type | Field and Description |
---|---|
protected Type |
ArrayToken._elementType
The type of this array.
|
static Type |
ActorToken.TYPE
Singleton reference to this type.
|
Modifier and Type | Method and Description |
---|---|
static Type |
MatrixToken.arrayToMatrixReturnType(Type type1,
Type type2,
Type type3)
Return the (exact) return type of the arrayToMatrix function
above.
|
static Type |
MatrixToken.createSequenceReturnType(Type type1,
Type type2,
Type type3)
Return the (exact) return type of the createSequence function
above.
|
static Type |
ArrayToken.elementMultiplyReturnType(Type type1,
Type type2)
Return the (exact) return type of the elementMultiply function
above.
|
Type |
DoubleMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
FixMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
abstract Type |
MatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
ComplexMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
LongMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
IntMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
ArrayToken.getElementType()
Return the type contained in this ArrayToken.
|
Type |
BooleanMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
TupleToken.getElementType(int index)
Return the element type at the specified index.
|
Type |
ObjectToken.getType()
Return the type of this token.
|
Type |
DoubleMatrixToken.getType()
Return the type of this token.
|
Type |
DoubleToken.getType()
Return the type of this token.
|
Type |
Token.getType()
Return the type of this token.
|
Type |
UnsizedArrayToken.getType()
Return the type of this token.
|
Type |
TupleToken.getType()
Return the type of this token, which is a TupleType populated
with the types of the value of this token.
|
Type |
ActorToken.getType()
Return the type of this token.
|
Type |
FixToken.getType()
Return the type of this token.
|
Type |
AWTImageToken.getType() |
Type |
UnsignedByteToken.getType()
Return the type of this token.
|
Type |
FixMatrixToken.getType()
Return the type of this token.
|
Type |
ShortToken.getType()
Return the type of this token.
|
Type |
ComplexToken.getType()
Return the type of this token.
|
Type |
StringToken.getType()
Return the type of this token.
|
Type |
ComplexMatrixToken.getType()
Return the type of this token.
|
Type |
FloatToken.getType()
Return the type of this token.
|
Type |
LongMatrixToken.getType()
Return the type of this token.
|
Type |
UnsizedFixToken.getType()
Return the type of this token.
|
Type |
FunctionToken.getType()
Return the type of this token.
|
Type |
EventToken.getType()
Return the type of this token.
|
Type |
XMLToken.getType()
Return the type of this token.
|
Type |
IntToken.getType()
Return the type of this token.
|
Type |
RecordToken.getType()
Return the type of this token.
|
Type |
LongToken.getType()
Return the type of this token.
|
Type |
PetiteToken.getType()
Return the type of this token.
|
Type |
IntMatrixToken.getType()
Return the type of this token.
|
Type |
UnionToken.getType()
Return the type of this token.
|
abstract Type |
ScalarToken.getType()
Return the type of this token.
|
Type |
ArrayToken.getType()
Return the type of this ArrayToken.
|
Type |
DateToken.getType()
Return the type of this token.
|
Type |
BooleanToken.getType()
Return the type of this token.
|
Type |
BooleanMatrixToken.getType()
Return the type of this token.
|
static Type |
MatrixToken.matrixToArrayReturnType(Type type)
Return the (exact) return type of the toArray function above.
|
static Type |
RecordToken.mergeReturnType(Type type1,
Type type2)
Return the (exact) return type of the merge function above.
|
static Type |
MatrixToken.toArrayReturnType(Type type)
Return the (exact) return type of the toArray function above.
|
static Type |
Token.zeroReturnType(Type type)
Return the (exact) return type of the zero function above.
|
Modifier and Type | Method and Description |
---|---|
static MatrixToken |
MatrixToken.arrayToMatrix(Type type,
Token[] tokens,
int rows,
int columns)
Create a new instance of a MatrixToken subclass with the given
element type and number of rows and columns.
|
static Type |
MatrixToken.arrayToMatrixReturnType(Type type1,
Type type2,
Type type3)
Return the (exact) return type of the arrayToMatrix function
above.
|
static Type |
MatrixToken.createSequenceReturnType(Type type1,
Type type2,
Type type3)
Return the (exact) return type of the createSequence function
above.
|
static Type |
ArrayToken.elementMultiplyReturnType(Type type1,
Type type2)
Return the (exact) return type of the elementMultiply function
above.
|
static Type |
MatrixToken.matrixToArrayReturnType(Type type)
Return the (exact) return type of the toArray function above.
|
static Type |
RecordToken.mergeReturnType(Type type1,
Type type2)
Return the (exact) return type of the merge function above.
|
static Type |
MatrixToken.toArrayReturnType(Type type)
Return the (exact) return type of the toArray function above.
|
static Type |
Token.zeroReturnType(Type type)
Return the (exact) return type of the zero function above.
|
Constructor and Description |
---|
ArrayToken(Type elementType)
Construct an empty ArrayToken with the given element type.
|
ArrayToken(Type elementType,
Token[] value)
Construct an ArrayToken with the specified element type and
token array.
|
UnsizedArrayToken(Type elementType)
Construct an empty array token with the given element type.
|
Modifier and Type | Field and Description |
---|---|
protected Type[] |
ASTPtFunctionDefinitionNode._argTypes |
protected Type |
ParseTreeTypeInference._inferredChildType |
protected Type |
ASTPtRootNode._ptType
The type of this node.
|
Modifier and Type | Method and Description |
---|---|
protected Type |
ParseTreeTypeInference._getMethodReturnType(java.lang.Class<?> clazz,
java.lang.String methodName,
Type[] argTypes)
Get the return type of a method belonging to the specified class, or the
type of a field belonging to it.
|
protected Type |
ParseTreeTypeInference._getTypeForName(java.lang.String name)
Return the type of the identifier with the given name.
|
protected Type[] |
ParseTreeTypeInference._inferAllChildren(ASTPtRootNode node)
Loop through all of the children of this node,
visiting each one of them, which will cause their token
value to be determined.
|
protected Type |
ParseTreeTypeInference._inferChild(ASTPtRootNode node,
int i)
Visit the child with the given index of the given node.
|
protected Type |
ParseTreeTypeInference._methodCall(java.lang.String methodName,
Type[] argTypes)
Infer the type of the specified method.
|
static Type |
UtilityFunctions.arrayTypeReturnType(Type type)
Return a new ArrayType whose element type is the same as the given
type.
|
static Type |
UtilityFunctions.arrayTypeReturnType(Type type1,
Type type2)
Return the (not quite exact) return type of the arrayType
function above.
|
static Type |
UtilityFunctions.castReturnType(Type type1,
Type type2)
Return the type of the first argument.
|
static Type |
UtilityFunctions.concatenateReturnType(Type firstArrayType)
Return the return type of the one argument concatenate method, given the type
of the argument.
|
static Type |
UtilityFunctions.concatenateReturnType(Type firstArrayType,
Type secondArrayType)
Return the return type of the two argument concatenate method,
given the types of the arguments.
|
static Type |
ConversionUtilities.convertJavaTypeToTokenType(java.lang.Class tokenClass)
Convert a java class, representing a Java type, to a
corresponding instance of a ptolemy type object, as consistent
with the convertJavaTypeToToken method.
|
static Type |
UtilityFunctions.emptyArrayReturnType(Type prototype)
Return the type of an empty array of unspecified length.
|
static Type |
UtilityFunctions.filterReturnType(Type predicateType,
Type arrayTokenType)
Return the return type of the filter method, given the types
of the argument.
|
static Type |
UtilityFunctions.filterReturnType(Type predicateType,
Type arrayTokenType,
Type sizeLimitType)
Return the return type of the filter method, given the types
of the argument.
|
Type[] |
ASTPtFunctionDefinitionNode.getArgumentTypes()
Return the type of the arguments, or null if type inference
has not occurred yet.
|
Type |
Variable.getDeclaredType()
If setTypeEquals() has been called, then return the type specified
there.
|
Type |
ConcreteMatrixToken.getElementType()
Return the Type of the tokens contained in this matrix token.
|
Type |
CachedMethod.getReturnType()
Return the type of the token that results from an invocation
of this method.
|
Type |
CachedMethod.ArrayMapCachedMethod.getReturnType()
Override the base class to return an array type with the
element type being the return type of the underlying scalar
method.
|
Type |
CachedMethod.MatrixMapCachedMethod.getReturnType() |
Type |
ASTPtRootNode.getType()
Return the type of this node.
|
Type |
ConcreteMatrixToken.getType()
Return the type of this token.
|
Type |
GeneralToken.getType()
Return the type of this token.
|
Type |
ConcreteScalarToken.getType()
Return the type of this token.
|
Type |
UnknownToken.getType()
Return the type of this token.
|
Type |
Variable.getType()
Get the type of this variable.
|
Type |
ParserScope.getType(java.lang.String name)
Look up and return the type of the value with the specified
name in the scope.
|
Type |
ExplicitScope.getType(java.lang.String name)
Look up and return the type of the value with the specified
name in the scope.
|
Type |
NestedScope.getType(java.lang.String name)
Look up and return the type of the value with the specified
name in the scope.
|
Type |
NamedConstantsScope.getType(java.lang.String name)
Look up and return the type of the value with the specified
name in the scope.
|
Type |
Variable.VariableScope.getType(java.lang.String name)
Look up and return the type of the attribute with the
specified name in the scope.
|
Type |
ParseTreeTypeInference.inferTypes(ASTPtRootNode node)
Infer the type of the parse tree with the specified root node.
|
Type |
ParseTreeTypeInference.inferTypes(ASTPtRootNode node,
ParserScope scope)
Infer the type of the parse tree with the specified root node using
the specified scope to resolve the values of variables.
|
static Type |
UtilityFunctions.iterateReturnType(Type functionType,
Type lengthType,
Type initialType)
Return the return type of the iterate method, given the types
of the argument.
|
static Type |
UtilityFunctions.mapReturnType(Type functionType,
Type arrayTokenType)
Return the return type of the map method, given the types
of the argument.
|
static Type |
UtilityFunctions.maxReturnType(Type type)
Return the (exact) return type of the max function above.
|
static Type |
UtilityFunctions.minReturnType(Type type)
Return the (exact) return type of the min function above.
|
static Type |
Constants.nameToType(java.lang.String name)
Given a name defining a type, return the type, or null if
there is no such type.
|
static Type |
UtilityFunctions.randomReturnType(Type type)
Return the (exact) return type of the random function above.
|
static Type |
UtilityFunctions.repeatReturnType(Type type1,
Type type2)
Return the (exact) return type of the repeat function above.
|
static Type |
UtilityFunctions.sortAscendingReturnType(Type type)
Return the (exact) return type of the sortAscending function above.
|
static Type |
UtilityFunctions.sortDescendingReturnType(Type type)
Return the (exact) return type of the sortDescending function above.
|
static Type |
UtilityFunctions.sortReturnType(Type type)
Return the (exact) return type of the sort function above.
|
static Type |
UtilityFunctions.subarrayReturnType(Type arrayType,
Type indexType,
Type countType)
Return the return type of the subarray() method, which is the
same as the array type.
|
static Type |
UtilityFunctions.sumReturnType(Type type)
Return the (exact) return type of the sum function above.
|
Modifier and Type | Method and Description |
---|---|
protected Token |
ParseTreeEvaluator._functionCall(java.lang.String functionName,
Type[] argTypes,
java.lang.Object[] argValues)
Evaluate the specified function.
|
protected static CachedMethod.ArgumentConversion |
CachedMethod._getConversion(java.lang.Class formal,
Type actual)
Return a conversion to convert the second argument into the class
given by the first argument.
|
protected Type |
ParseTreeTypeInference._getMethodReturnType(java.lang.Class<?> clazz,
java.lang.String methodName,
Type[] argTypes)
Get the return type of a method belonging to the specified class, or the
type of a field belonging to it.
|
protected Type |
ParseTreeTypeInference._methodCall(java.lang.String methodName,
Type[] argTypes)
Infer the type of the specified method.
|
protected Token |
ParseTreeEvaluator._methodCall(java.lang.String methodName,
Type[] argTypes,
java.lang.Object[] argValues)
Evaluate the specified method.
|
protected static java.lang.reflect.Method |
CachedMethod._polymorphicGetMethod(java.lang.Class library,
java.lang.String methodName,
Type[] argumentTypes,
CachedMethod.ArgumentConversion[] conversions)
Return the first method in the specified class that has the
specified name and can be invoked with the specified argument
types.
|
protected void |
ParseTreeTypeInference._setType(ASTPtRootNode node,
Type type) |
static Type |
UtilityFunctions.arrayTypeReturnType(Type type)
Return a new ArrayType whose element type is the same as the given
type.
|
static Type |
UtilityFunctions.arrayTypeReturnType(Type type1,
Type type2)
Return the (not quite exact) return type of the arrayType
function above.
|
static Type |
UtilityFunctions.castReturnType(Type type1,
Type type2)
Return the type of the first argument.
|
static Type |
UtilityFunctions.concatenateReturnType(Type firstArrayType)
Return the return type of the one argument concatenate method, given the type
of the argument.
|
static Type |
UtilityFunctions.concatenateReturnType(Type firstArrayType,
Type secondArrayType)
Return the return type of the two argument concatenate method,
given the types of the arguments.
|
static java.lang.Class |
ConversionUtilities.convertTokenTypeToJavaType(Type type)
Convert the given ptolemy type object to a java class
representing a java type.
|
static Type |
UtilityFunctions.emptyArrayReturnType(Type prototype)
Return the type of an empty array of unspecified length.
|
static Type |
UtilityFunctions.filterReturnType(Type predicateType,
Type arrayTokenType)
Return the return type of the filter method, given the types
of the argument.
|
static Type |
UtilityFunctions.filterReturnType(Type predicateType,
Type arrayTokenType,
Type sizeLimitType)
Return the return type of the filter method, given the types
of the argument.
|
static CachedMethod |
CachedMethod.findMethod(java.lang.String methodName,
Type[] argumentTypes,
int type)
Find a method or function with the specified name and argument types.
|
static Type |
UtilityFunctions.iterateReturnType(Type functionType,
Type lengthType,
Type initialType)
Return the return type of the iterate method, given the types
of the argument.
|
static Type |
UtilityFunctions.mapReturnType(Type functionType,
Type arrayTokenType)
Return the return type of the map method, given the types
of the argument.
|
static Type |
UtilityFunctions.maxReturnType(Type type)
Return the (exact) return type of the max function above.
|
static Type |
UtilityFunctions.minReturnType(Type type)
Return the (exact) return type of the min function above.
|
static Type |
UtilityFunctions.randomReturnType(Type type)
Return the (exact) return type of the random function above.
|
static Type |
UtilityFunctions.repeatReturnType(Type type1,
Type type2)
Return the (exact) return type of the repeat function above.
|
void |
ASTPtRootNode.setType(Type type)
Set the type of this node.
|
void |
Variable.setTypeAtMost(Type type)
Set a type constraint that the type of this object be less than
or equal to the specified class in the type lattice.
|
void |
Variable.setTypeEquals(Type type)
Set a type constraint that the type of this object equal
the specified value.
|
static Type |
UtilityFunctions.sortAscendingReturnType(Type type)
Return the (exact) return type of the sortAscending function above.
|
static Type |
UtilityFunctions.sortDescendingReturnType(Type type)
Return the (exact) return type of the sortDescending function above.
|
static Type |
UtilityFunctions.sortReturnType(Type type)
Return the (exact) return type of the sort function above.
|
static Type |
UtilityFunctions.subarrayReturnType(Type arrayType,
Type indexType,
Type countType)
Return the return type of the subarray() method, which is the
same as the array type.
|
static Type |
UtilityFunctions.sumReturnType(Type type)
Return the (exact) return type of the sum function above.
|
Constructor and Description |
---|
ArrayMapCachedMethod(java.lang.String methodName,
Type[] argumentTypes,
int type,
CachedMethod cachedMethod,
boolean[] reducedArgs)
Constructs a CachedMethod$ArrayMapCachedMethod object.
|
CachedMethod(java.lang.String methodName,
Type[] argumentTypes,
java.lang.reflect.Method method,
CachedMethod.ArgumentConversion[] conversions,
int type)
Construct a new CachedMethod.
|
ExpressionFunction(java.util.List argumentNames,
Type[] argumentTypes,
ASTPtRootNode exprRoot)
Construct a function closure that encapsulates an expression tree.
|
MatrixMapCachedMethod(java.lang.String methodName,
Type[] argumentTypes,
int type,
CachedMethod cachedMethod,
boolean[] reducedArgs)
Constructs a CachedMethod$MatrixMapCachedMethod object.
|
Modifier and Type | Class and Description |
---|---|
class |
ActorType
The base type of matrix token classes.
|
class |
ArrayType
A class representing the type of an ArrayToken.
|
class |
AssociativeType
This class represents structures that store (key, value) pairs.
|
class |
BaseType
The type of base token classes.
|
static class |
BaseType.ArrayBottomType
The bottom element of the array type lattice.
|
static class |
BaseType.BooleanType
The boolean data type.
|
static class |
BaseType.ComplexType
The complex data type.
|
static class |
BaseType.DateType
The date data type.
|
static class |
BaseType.DoubleType
The double data type.
|
static class |
BaseType.EventType
The event data type.
|
static class |
BaseType.FloatType
The float data type.
|
static class |
BaseType.GeneralType
The general data type: The top of the lattice.
|
static class |
BaseType.IntType
The integer data type.
|
static class |
BaseType.LongType
The long integer data type.
|
static class |
BaseType.NilType
The nil data type.
|
static class |
BaseType.PetiteType
The petite data type.
|
static class |
BaseType.ScalarType
The scalar data type: The least upper bound of all the scalar types.
|
static class |
BaseType.ShortType
The short integer data type.
|
static class |
BaseType.StringType
The string data type.
|
static class |
BaseType.UnknownType
The bottom element of the data type lattice.
|
static class |
BaseType.UnsignedByteType
The unsigned byte data type.
|
static class |
BaseType.UnsizedFixType
The fix data type.
|
static class |
BaseType.XmlTokenType
The XmlToken data type.
|
class |
FixType
This class represents the type of fix point token objects.
|
class |
FunctionType
A class representing the type of a FunctionToken.
|
class |
MatrixType
The base type of matrix token classes.
|
static class |
MatrixType.BooleanMatrixType
The boolean matrix data type.
|
static class |
MatrixType.ComplexMatrixType
The complex matrix data type.
|
static class |
MatrixType.DoubleMatrixType
The double matrix data type.
|
static class |
MatrixType.FixMatrixType
The fix matrix data type.
|
static class |
MatrixType.IntMatrixType
The integer matrix data type.
|
static class |
MatrixType.LongMatrixType
The long matrix data type.
|
class |
ObjectType
A type of tokens that contain arbitrary Java objects.
|
class |
RecordType
A class representing the type of a RecordToken.
|
class |
StructuredType
Base class for structured type.
|
class |
TupleType
A class representing the type of a FunctionToken.
|
class |
UnionType
A class representing the type of a UnionToken.
|
Modifier and Type | Field and Description |
---|---|
static Type |
BaseType.ACTOR
The actor data type.
|
Modifier and Type | Method and Description |
---|---|
Type |
BaseType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
StructuredType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
FixType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
Type.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
ActorType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
BaseType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
StructuredType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
FixType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
Type.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
ActorType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
static Type |
BaseType.forClassName(java.lang.String className)
Return an instance of Type of that corresponds to tokens
of a class with the given name, or null if none exists.
|
static Type |
BaseType.forName(java.lang.String name)
Return an instance of this class with the specified name,
or null if none exists.
|
Type |
UnionType.get(java.lang.String label)
Return the type of the specified label.
|
abstract Type |
AssociativeType.get(java.lang.String label)
Return the type of the specified label.
|
Type |
RecordType.get(java.lang.String label)
Return the type of the specified label.
|
Type |
FunctionType.getArgType(int i)
Return the type of the given argument.
|
Type |
ArrayType.getDeclaredElementType()
Return the declared type of the array elements.
|
Type |
MatrixType.getElementType()
Return the type of the elements contained in an instance of
this matrix type.
|
Type |
ArrayType.getElementType()
Return the type of the array elements.
|
Type |
TupleType.getElementType(int i)
Return the type of the given argument.
|
Type |
FunctionType.getReturnType()
Return the type of the specified label.
|
Type |
Typeable.getType()
Return the type of this object.
|
static Type |
TypeLattice.leastUpperBound(Type type1,
Type type2)
Return the least upper bound of the two given types.
|
Type |
BaseType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
StructuredType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
FixType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
Type.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
ActorType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
BaseType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
StructuredType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
FixType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
Type.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
ActorType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
BaseType.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
StructuredType.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
FixType.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
Type.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
ActorType.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
BaseType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
StructuredType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
FixType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
Type.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
ActorType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
BaseType.zero()
Return the type of the additive identity for elements of
this type.
|
Type |
StructuredType.zero()
Return the type of the additive identity for elements of
this type.
|
Type |
FixType.zero()
Return the type of the additive identity for elements of
this type.
|
Type |
Type.zero()
Return the type of the additive identity for elements of
this type.
|
Type |
ActorType.zero()
Return the type of the additive identity for elements of
this type.
|
Modifier and Type | Method and Description |
---|---|
Type |
BaseType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
StructuredType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
FixType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
Type.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
ActorType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
static void |
BaseType.addType(Type type,
java.lang.String name,
java.lang.Class theClass)
Specify that the given type, with the given name, is implemented
by the specified token class.
|
static int |
TypeLattice.compare(Token token,
Type type)
Compare the types of the two specified tokens in the type lattice.
|
static int |
TypeLattice.compare(Type type,
Token token)
Compare the types of the two specified tokens in the type lattice.
|
static int |
TypeLattice.compare(Type type1,
Type type2)
Compare two types in the type lattice.
|
Type |
BaseType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
StructuredType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
FixType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
Type.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
ActorType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
boolean |
ActorType.equals(Type t)
Determine if the argument represents the same BaseType as this
object.
|
static MatrixType |
MatrixType.getMatrixTypeForElementType(Type elementType)
Return a matrix type whose element type is the given element
type.
|
void |
ObjectType.initialize(Type type)
Ignore, as this type does not have elements.
|
void |
FunctionType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN (the leaf
type variable) to the specified type.
|
void |
UnionType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN (the leaf
type variable) to the specified type.
|
void |
TupleType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN (the leaf
type variable) to the specified type.
|
void |
MatrixType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN to the
specified type.
|
void |
RecordType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN (the leaf
type variable) to the specified type.
|
abstract void |
StructuredType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN to the
specified type.
|
void |
FixType.initialize(Type type)
Set the elements that have declared type BaseType.UNKNOWN to the
specified type.
|
void |
ArrayType.initialize(Type t)
Set the elements that have declared type BaseType.UNKNOWN (the leaf
type variable) to the specified type.
|
boolean |
ObjectType.isCompatible(Type type)
Return true if the specified type is less than or equal to this type.
|
boolean |
FunctionType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
UnionType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
BaseType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
TupleType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
MatrixType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
RecordType.isCompatible(Type type)
Test whether the argument type is compatible with this type
(is less than or equal to this type in the type lattice).
|
boolean |
FixType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
Type.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
ActorType.isCompatible(Type type)
Model if the argument type is compatible with this type.
|
boolean |
ArrayType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
ObjectType.isSubstitutionInstance(Type type)
Return true if the specified type is a substitution instance of this
type.
|
boolean |
FunctionType.isSubstitutionInstance(Type type)
Test if the specified type is a substitution instance of this
type.
|
boolean |
UnionType.isSubstitutionInstance(Type type)
Test if the specified type is a substitution instance of this
type.
|
boolean |
BaseType.isSubstitutionInstance(Type type)
Return true if the argument is a substitution instance of this type.
|
boolean |
TupleType.isSubstitutionInstance(Type type)
Test if the specified type is a substitution instance of this
type.
|
boolean |
MatrixType.isSubstitutionInstance(Type type)
Test if the argument is a substitution instance of this type.
|
boolean |
RecordType.isSubstitutionInstance(Type type)
Test whether the specified type is a substitution instance of this
type.
|
boolean |
FixType.isSubstitutionInstance(Type type)
Test if the argument is a substitution instance of this type.
|
boolean |
Type.isSubstitutionInstance(Type type)
Return true if the specified type is a substitution instance of this
type.
|
boolean |
ActorType.isSubstitutionInstance(Type type)
Return true if the argument is a
substitution instance of this type.
|
boolean |
ArrayType.isSubstitutionInstance(Type type)
Return true if the specified type is a substitution instance of this
type.
|
static Type |
TypeLattice.leastUpperBound(Type type1,
Type type2)
Return the least upper bound of the two given types.
|
Type |
BaseType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
StructuredType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
FixType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
Type.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
ActorType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
BaseType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
StructuredType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
FixType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
Type.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
ActorType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
void |
ArrayType.setType(Type type)
Set the type to the specified type, which is required to be
an array type.
|
void |
Typeable.setTypeAtMost(Type type)
Constrain the type of this object to be equal to or less
than the argument.
|
void |
Typeable.setTypeEquals(Type type)
Set a type constraint that the type of this object equal
the specified value.
|
Type |
BaseType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
StructuredType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
FixType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
Type.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
ActorType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Constructor and Description |
---|
ArrayType(Type elementType)
Construct a new ArrayType with the specified type for the array
elements.
|
ArrayType(Type elementType,
int length)
Construct a new ArrayType with the specified type for the array
elements.
|
FunctionType(Type[] types,
Type returnType)
Construct a new FunctionType with the specified argument types
and the given return type.
|
FunctionType(Type[] types,
Type returnType)
Construct a new FunctionType with the specified argument types
and the given return type.
|
MatrixType(java.lang.Class c,
Type type,
java.lang.String name)
Construct a new matrix type that represents matrix tokens of the
given class with the given number of rows and columns.
|
RecordType(java.lang.String[] labels,
Type[] types)
Construct a new RecordType with the specified labels and types.
|
TupleType(Type[] types)
Construct a new TupleType with the specified argument types
and the given return type.
|
TypeConstant(Type type)
Construct a TypeConstant.
|
UnionType(java.lang.String[] labels,
Type[] types)
Construct a new UnionType with the specified labels and types.
|
Modifier and Type | Class and Description |
---|---|
static class |
TestToken.TestType
The class of this token.
|
Modifier and Type | Field and Description |
---|---|
static Type |
TestToken.TYPE
The type of this token.
|
Modifier and Type | Method and Description |
---|---|
Type |
TestToken.TestType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
TestToken.TestType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
Type |
TestToken.getType()
Return the type of this token.
|
Type |
TestToken.TestType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
TestToken.TestType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
TestToken.TestType.one()
Return the type of the multiplicative identity for elements of
this type.
|
Type |
TestToken.TestType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Type |
TestToken.TestType.zero()
Return the type of the additive identity for elements of
this type.
|
Modifier and Type | Method and Description |
---|---|
Type |
TestToken.TestType.add(Type rightArgumentType)
Return a new type which represents the type that results from
adding a token of this type and a token of the given argument
type.
|
Type |
TestToken.TestType.divide(Type rightArgumentType)
Return a new type which represents the type that results from
dividing a token of this type and a token of the given
argument type.
|
boolean |
TestToken.TestType.isCompatible(Type type)
Test if the argument type is compatible with this type.
|
boolean |
TestToken.TestType.isSubstitutionInstance(Type type)
Return true if the argument is a
substitution instance of this type.
|
Type |
TestToken.TestType.modulo(Type rightArgumentType)
Return a new type which represents the type that results from
moduloing a token of this type and a token of the given
argument type.
|
Type |
TestToken.TestType.multiply(Type rightArgumentType)
Return a new type which represents the type that results from
multiplying a token of this type and a token of the given
argument type.
|
Type |
TestToken.TestType.subtract(Type rightArgumentType)
Return a new type which represents the type that results from
subtracting a token of this type and a token of the given
argument type.
|
Modifier and Type | Method and Description |
---|---|
Type |
FSMActor.PortScope.getType(java.lang.String name)
Look up and return the type of the attribute with the
specified name in the scope.
|