fmrisc.ProofNavigator.Semantics

Class TypeExpression

java.lang.Object

fmrisc.ProofNavigator.Semantics.TypeExpression

public final class TypeExpression
extends java.lang.Object

Pair of type and exp.

Constructor Summary

Constructors

Constructor and Description
TypeExpression(Type type, Expression exp) Construct pair of type and exp

Method Summary

Modifier and Type	Method and Description
Expression	getExpression() get exp
Type	getType() get type
TypeExpression	instantiate() create instantiated copy of type expression
void	setExpression(Expression exp) set exp
void	setType(Type type) set type

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeExpression

public TypeExpression(Type type,
                      Expression exp)

Construct pair of type and exp

Parameters:

type - the type

exp - the exp

Method Detail

getExpression

public Expression getExpression()

get exp

Returns:

the exp

setExpression

public void setExpression(Expression exp)

set exp

Parameters:

exp - the expression

getType

public Type getType()

get type

Returns:

the type

setType

public void setType(Type type)

set type

Parameters:

type - the type

instantiate

public TypeExpression instantiate()

create instantiated copy of type expression

Returns:

the copy.