dk.brics.tajs.solver

Interface ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>>

Enclosing interface:

ICallEdge<BlockStateType extends IBlockState<?,?,?>>

public static interface ICallEdge.Visitor<CallEdgeType extends ICallEdge<?>>

Visitor for call edges.

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(NodeAndContext<?> caller, CallEdgeType edge, BlockAndContext<?> callee) Called when visiting a call edge.

Method Detail

visit

void visit(NodeAndContext<?> caller,
         CallEdgeType edge,
         BlockAndContext<?> callee)

Called when visiting a call edge.