uk.ac.ox.comlab.abc.runtime.internal
Class CFlowStack

java.lang.Object
  extended byuk.ac.ox.comlab.abc.runtime.internal.CFlowStack

public class CFlowStack
extends java.lang.Object


Constructor Summary
CFlowStack()
           
 
Method Summary
 java.lang.Object get(int index)
           
 java.lang.Object getStack()
           
 java.lang.Object getTopStack(int index, java.lang.Object stack)
           
 boolean isValid()
           
 boolean isValidStack(java.lang.Object stack)
           
 java.lang.Object peek()
           
 CFlow peekCFlow()
           
 CFlow peekCFlowStack(java.lang.Object stack)
           
 java.lang.Object peekInstance()
           
 java.lang.Object peekInstanceStack(java.lang.Object stack)
           
 java.lang.Object peekStack(java.lang.Object stack)
           
 CFlow peekTopCFlow()
           
 CFlow peekTopCFlowStack(java.lang.Object stack)
           
 void pop()
           
 void popStack(java.lang.Object stack)
           
 void push(java.lang.Object obj)
           
 void push(java.lang.Object[] obj)
           
 void pushInstance(java.lang.Object obj)
           
 void pushInstanceStack(java.lang.Object obj, java.lang.Object stack)
           
 void pushStack(java.lang.Object[] obj, java.lang.Object stack)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFlowStack

public CFlowStack()
Method Detail

push

public void push(java.lang.Object obj)

pushInstance

public void pushInstance(java.lang.Object obj)

push

public void push(java.lang.Object[] obj)

pop

public void pop()

peek

public java.lang.Object peek()

get

public java.lang.Object get(int index)

peekInstance

public java.lang.Object peekInstance()

peekCFlow

public CFlow peekCFlow()

peekTopCFlow

public CFlow peekTopCFlow()

isValid

public boolean isValid()

getStack

public java.lang.Object getStack()

pushInstanceStack

public void pushInstanceStack(java.lang.Object obj,
                              java.lang.Object stack)

pushStack

public void pushStack(java.lang.Object[] obj,
                      java.lang.Object stack)

popStack

public void popStack(java.lang.Object stack)

peekStack

public java.lang.Object peekStack(java.lang.Object stack)

getTopStack

public java.lang.Object getTopStack(int index,
                                    java.lang.Object stack)

peekInstanceStack

public java.lang.Object peekInstanceStack(java.lang.Object stack)

peekCFlowStack

public CFlow peekCFlowStack(java.lang.Object stack)

peekTopCFlowStack

public CFlow peekTopCFlowStack(java.lang.Object stack)

isValidStack

public boolean isValidStack(java.lang.Object stack)