model.type

Class RefResState

java.lang.Object

model.type.AbstractRefState

model.type.RefResState

public class RefResState
extends AbstractRefState

A state that represents that a reference is resolved.

Author:

HFW410RA - Philipp Rammos

Field Summary

Fields

Modifier and Type	Field and Description
private NamedVariableType	type Represents the resolved type.

Constructor Summary

Constructors

Constructor and Description
RefResState(NamedVariableType type) Constructor, tries to set the field.

Method Summary

Modifier and Type	Method and Description
void	accept(RefStateVisitor vis) accept method for visitor pattern.
boolean	equals(java.lang.Object obj)
NamedVariableType	getType() Returns the field type.
int	hashCode()

Methods inherited from class model.type.AbstractRefState

getValue

Methods inherited from class java.lang.Object

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

Field Detail

type

private final NamedVariableType type

Represents the resolved type.

Constructor Detail

RefResState

public RefResState(NamedVariableType type)

Constructor, tries to set the field. Checks if it would be a cycle.

Parameters:

type - The type to set.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

getType

public NamedVariableType getType()

Returns the field type. No side effects.

Specified by:

getType in class AbstractRefState

Returns:

this.type

accept

public void accept(RefStateVisitor vis)

Description copied from class: AbstractRefState

accept method for visitor pattern.

Specified by:

accept in class AbstractRefState

Parameters:

vis - the visitor.