Package de.monticore.types3.generics.context

Enum Class InferenceVisitorMode

java.lang.Object

java.lang.Enum<InferenceVisitorMode>

de.monticore.types3.generics.context.InferenceVisitorMode

All Implemented Interfaces:

Serializable, Comparable<InferenceVisitorMode>, Constable

public enum InferenceVisitorMode
extends Enum<InferenceVisitorMode>

Multiple phases are required to calculate the final (compile-time) type of some expressions. This lists the different phases.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
APPLICABILITY_TEST	Checks if an expression is pertinent to applicability.
EXPRESSION_COMPATIBILITY_REDUCTION	Checks for expression compatibility with a target type.
TYPE_CHECKING	Tries to calculate the compile-time type.

Method Summary

Modifier and Type	Method	Description
static InferenceVisitorMode	valueOf(String name)	Returns the enum constant of this class with the specified name.
static InferenceVisitorMode[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

APPLICABILITY_TEST

public static final InferenceVisitorMode APPLICABILITY_TEST

Checks if an expression is pertinent to applicability. S. Java language specification 21 15.12.2.2.

EXPRESSION_COMPATIBILITY_REDUCTION

public static final InferenceVisitorMode EXPRESSION_COMPATIBILITY_REDUCTION

Checks for expression compatibility with a target type. The target type may contain free type variables, thus, it cannot be used (in every case) to calculate the compile-time type. S. Java language specification 21 18.5.2.1

TYPE_CHECKING

public static final InferenceVisitorMode TYPE_CHECKING

Tries to calculate the compile-time type. This is the default mode.

Method Details

values

public static InferenceVisitorMode[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static InferenceVisitorMode valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null