org.eclipse.viatra.query.patternlanguage.typing

Class ITypeSystem.NullTypeSystem

java.lang.Object

org.eclipse.viatra.query.patternlanguage.typing.ITypeSystem.NullTypeSystem

All Implemented Interfaces:

ITypeSystem

Enclosing interface:

ITypeSystem

public static final class ITypeSystem.NullTypeSystem
extends java.lang.Object
implements ITypeSystem

An empty implementation of ITypeSystem that can be used by the abstract pattern language module.

Since:

1.3

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.viatra.query.patternlanguage.typing.ITypeSystem

ITypeSystem.NullTypeSystem

Constructor Summary

Constructors

Constructor and Description
NullTypeSystem()

Method Summary

Modifier and Type	Method and Description
java.util.Set<IInputKey>	addTypeInformation(java.util.Set<IInputKey> types, IInputKey newType) Adds a new type descriptor to a collection of type descriptors, and minimizes it.
java.util.Set<IInputKey>	addTypeInformation(java.util.Set<IInputKey> types, java.util.Set<IInputKey> newTypes)
IInputKey	extractColumnDescriptor(RelationType type, int columnIndex) Extracts the model-specific column type of the given index from a RelationType declaration
IInputKey	extractTypeDescriptor(Type type) Extracts the model-specific types from a Type declaration.
java.util.Set<IInputKey>	getCompatibleSupertypes(java.util.Set<IInputKey> types) Returns a set of types that is a common supertype of a set of type parameters
boolean	isConformant(IInputKey expectedType, IInputKey actualType) Decides whether the second type is compatible with the first one
boolean	isConformToRelationColumn(IInputKey relationType, int columnIndex, IInputKey columnType) Decides whether the reference can have a selected type at its given column.
boolean	isValidType(Type type) Returns whether the type declaration represents a valid, resolvable type for the selected type system.
java.util.Set<IInputKey>	minimizeTypeInformation(java.util.Set<IInputKey> types, boolean mergeWithSupertypes) Reduces the type descriptor set by providing the most specific set of type descriptors inferrable for a selected types.
org.eclipse.xtext.common.types.JvmTypeReference	toJvmTypeReference(IInputKey type, org.eclipse.emf.ecore.EObject context) Creates a type reference for model inference from a selected type.
java.lang.String	typeString(IInputKey type) Converts a type object to a user-visible description string.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NullTypeSystem

public NullTypeSystem()

Method Detail

isConformant

public boolean isConformant(IInputKey expectedType,
                            IInputKey actualType)

Description copied from interface: ITypeSystem

Decides whether the second type is compatible with the first one

Specified by:

isConformant in interface ITypeSystem

isConformToRelationColumn

public boolean isConformToRelationColumn(IInputKey relationType,
                                         int columnIndex,
                                         IInputKey columnType)

Description copied from interface: ITypeSystem

Decides whether the reference can have a selected type at its given column.

Specified by:

isConformToRelationColumn in interface ITypeSystem

extractTypeDescriptor

public IInputKey extractTypeDescriptor(Type type)

Description copied from interface: ITypeSystem

Extracts the model-specific types from a Type declaration.

Specified by:

extractTypeDescriptor in interface ITypeSystem

Parameters:

type - either the Type or the RelationType instance

Returns:

model-specific type representation

extractColumnDescriptor

public IInputKey extractColumnDescriptor(RelationType type,
                                         int columnIndex)

Description copied from interface: ITypeSystem

Extracts the model-specific column type of the given index from a RelationType declaration

Specified by:

extractColumnDescriptor in interface ITypeSystem

toJvmTypeReference

public org.eclipse.xtext.common.types.JvmTypeReference toJvmTypeReference(IInputKey type,
                                                                          org.eclipse.emf.ecore.EObject context)

Description copied from interface: ITypeSystem

Creates a type reference for model inference from a selected type.

Specified by:

toJvmTypeReference in interface ITypeSystem

typeString

public java.lang.String typeString(IInputKey type)

Description copied from interface: ITypeSystem

Converts a type object to a user-visible description string.

Specified by:

typeString in interface ITypeSystem

Parameters:

type - either a Type, or a model-specific type instance

Returns:

the string representation of the selected type

minimizeTypeInformation

public java.util.Set<IInputKey> minimizeTypeInformation(java.util.Set<IInputKey> types,
                                                        boolean mergeWithSupertypes)

Description copied from interface: ITypeSystem

Reduces the type descriptor set by providing the most specific set of type descriptors inferrable for a selected types.

Specified by:

minimizeTypeInformation in interface ITypeSystem

Parameters:

types - a collection of type definitions

mergeWithSupertypes - if true, the collection is also minimized by calculating common supertypes

Returns:

the minimized set of type information

Since:

1.3

addTypeInformation

public java.util.Set<IInputKey> addTypeInformation(java.util.Set<IInputKey> types,
                                                   IInputKey newType)

Description copied from interface: ITypeSystem

Adds a new type descriptor to a collection of type descriptors, and minimizes it. Equivalent of calling #minimizeTypeInformation(Set) with types.add(newType), but might have a more efficient impementation.

Specified by:

addTypeInformation in interface ITypeSystem

Returns:

the minimized set of type information including the new type descriptor key

Since:

1.3

addTypeInformation

public java.util.Set<IInputKey> addTypeInformation(java.util.Set<IInputKey> types,
                                                   java.util.Set<IInputKey> newTypes)

Specified by:

addTypeInformation in interface ITypeSystem

Since:

1.3

getCompatibleSupertypes

public java.util.Set<IInputKey> getCompatibleSupertypes(java.util.Set<IInputKey> types)

Description copied from interface: ITypeSystem

Returns a set of types that is a common supertype of a set of type parameters

Specified by:

getCompatibleSupertypes in interface ITypeSystem

Since:

1.3

isValidType

public boolean isValidType(Type type)

Description copied from interface: ITypeSystem

Returns whether the type declaration represents a valid, resolvable type for the selected type system. A null type is invalid.

Specified by:

isValidType in interface ITypeSystem

Since:

1.4