dk.brics.tajs.lattice

Class CallEdge<BlockStateType extends BlockState<?,?,?>>

java.lang.Object

dk.brics.tajs.lattice.CallEdge<BlockStateType>

All Implemented Interfaces:

ICallEdge<BlockStateType>

public class CallEdge<BlockStateType extends BlockState<?,?,?>>
extends Object
implements ICallEdge<BlockStateType>

Information stored at an edge in a call graph.

Nested Class Summary

Nested classes/interfaces inherited from interface dk.brics.tajs.solver.ICallEdge

ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>>

Constructor Summary

Constructors

Constructor and Description
CallEdge(BlockStateType state) Constructs a new edge object.

Method Summary

Methods

Modifier and Type	Method and Description
BlockStateType	getState() Returns the state at this edge.
void	setState(BlockStateType s) Sets the state at this edge.

Methods inherited from class java.lang.Object

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

Constructor Detail

CallEdge

public CallEdge(BlockStateType state)

Constructs a new edge object.

Method Detail

getState

public BlockStateType getState()

Description copied from interface: ICallEdge

Returns the state at this edge.

Specified by:

getState in interface ICallEdge<BlockStateType extends BlockState<?,?,?>>

setState

public void setState(BlockStateType s)

Description copied from interface: ICallEdge

Sets the state at this edge.

Specified by:

setState in interface ICallEdge<BlockStateType extends BlockState<?,?,?>>