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

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

public class CFlowCounter
extends java.lang.Object


Constructor Summary
CFlowCounter()
           
 
Method Summary
 void dec()
           
 void decCounter(java.lang.Object c)
           
 java.lang.Object getCounter()
           
 void inc()
           
 void incCounter(java.lang.Object c)
           
 boolean isValid()
           
 boolean isValidCounter(java.lang.Object c)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFlowCounter

public CFlowCounter()
Method Detail

inc

public void inc()

dec

public void dec()

isValid

public boolean isValid()

getCounter

public java.lang.Object getCounter()

incCounter

public void incCounter(java.lang.Object c)

decCounter

public void decCounter(java.lang.Object c)

isValidCounter

public boolean isValidCounter(java.lang.Object c)