Package | Description |
---|---|
com.whitestein.lsps.lang.ast | |
com.whitestein.lsps.lang.signature | |
com.whitestein.lsps.lang.type |
Provides classes for type reflection.
|
Modifier and Type | Method and Description |
---|---|
TypeMapping |
ConstraintAst.getTypeMapping() |
Constructor and Description |
---|
ConstraintAst(ASTNode node,
QIDAst constraintTypeAst,
List<ParameterAst> parameters,
TypeMapping freeTypeMapping,
ConstraintTypeInfo constraintTypeInfo)
Creates a constraint instance.
|
Modifier and Type | Class and Description |
---|---|
class |
SignatureMapping
Relation between function signature, and actual provided parameters.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TypeType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
Type.matchesSubtype(Type other,
TypeMapping mapping)
Performs type matching on this type.
|
boolean |
SetType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
ReferenceType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
MapType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
ListType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
FreeType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
CollectionType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
ClosureType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
AbstractType.matchesSubtype(Type other,
TypeMapping mapping) |
boolean |
TypeType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
Type.matchesSupertype(Type other,
TypeMapping mapping)
Performs type matching on this type.
|
boolean |
SetType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
ReferenceType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
MapType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
ListType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
FreeType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
CollectionType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
ClosureType.matchesSupertype(Type other,
TypeMapping mapping) |
boolean |
AbstractType.matchesSupertype(Type other,
TypeMapping mapping) |
Copyright © 2007-2020 Whitestein Technologies. All Rights Reserved.