org.eclipse.incquery.patternlanguage.typing

Interface ITypeSystem

All Known Implementing Classes:

AbstractTypeSystem, EMFTypeSystem, ITypeSystem.NullTypeSystem

public interface ITypeSystem

A type system represents the types (classes, or references) provided by a modeling backend.

Author:

Zoltan Ujhelyi

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ITypeSystem.NullTypeSystem An empty implementation of ITypeSystem that can be used by the abstract pattern language module.

Method Summary

Modifier and Type	Method and Description
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.
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.
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.

Method Detail

isConformant

boolean isConformant(IInputKey expectedType,
                     IInputKey actualType)

Decides whether the second type is compatible with the first one

isConformToRelationColumn

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

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

extractTypeDescriptor

IInputKey extractTypeDescriptor(Type type)

Extracts the model-specific types from a Type declaration.

Parameters:

type - either the Type or the RelationType instance

Returns:

model-specific type representation

extractColumnDescriptor

IInputKey extractColumnDescriptor(RelationType type,
                                  int columnIndex)

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

Parameters:

type -

toJvmTypeReference

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.

Parameters:

type -

context -

typeString

java.lang.String typeString(IInputKey type)

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

Parameters:

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

Returns:

the string representation of the selected type