public abstract class org.crac.Context extends java.lang.Object implements org.crac.Resource
{
protected void <init>()
{
org.crac.Context v;
v := @this: org.crac.Context;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public abstract void beforeCheckpoint(org.crac.Context) throws org.crac.CheckpointException;
public abstract void afterRestore(org.crac.Context) throws org.crac.RestoreException;
public abstract void register(org.crac.Resource);
}