model.type

Class RefUnResState

java.lang.Object

model.type.AbstractRefState

model.type.RefUnResState

public class RefUnResState
extends AbstractRefState

A state that represents that a reference is unresolved.

Author:

HFW410RA - Philipp Rammos

Constructor Summary

Constructors

Constructor and Description
RefUnResState(java.lang.String value) Constructor, just sets fields.

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, if it is an RefResState, else an exception is thrown.
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

Constructor Detail

RefUnResState

public RefUnResState(java.lang.String value)

Constructor, just sets fields. No side effects.

Parameters:

value - The value 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()
                          throws ReferenceIsUnresolvedException

Description copied from class: AbstractRefState

Returns the field type, if it is an RefResState, else an exception is thrown.

Specified by:

getType in class AbstractRefState

Returns:

this.type

Throws:

ReferenceIsUnresolvedException - If the state isnt a RefResState.

accept

public void accept(RefStateVisitor vis)
            throws TypeDoesNotExistException,
                   TypeExceptions

Description copied from class: AbstractRefState

accept method for visitor pattern.

Specified by:

accept in class AbstractRefState

Parameters:

vis - the visitor.

Throws:

TypeDoesNotExistException - if a part is not resolvable

TypeExceptions - if a cycle is detected or ReferenceIsUnresolved