org.jmlspecs.jml4.esc.provercoordinator.prover
Class CachedVcs

java.lang.Object
  org.jmlspecs.jml4.esc.provercoordinator.prover.CachedVcs

public class CachedVcs
extends java.lang.Object

Field Summary

java.lang.String

filename

Constructor Summary

CachedVcs(CompilationUnitDeclaration unit)

Method Summary

void	add(java.lang.String s)
void	add(VC vc)
void	add(VcProgram vc)
boolean	contains(java.lang.String s)
boolean	contains(VC vc)
boolean	contains(VcProgram vc)
void	writeToDisk()

Methods inherited from class java.lang.Object

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

Field Detail

filename

public final java.lang.String filename

Constructor Detail

CachedVcs

public CachedVcs(CompilationUnitDeclaration unit)

Method Detail

writeToDisk

public void writeToDisk()
                 throws java.io.IOException

Throws:

java.io.IOException

contains

public boolean contains(VcProgram vc)

contains

public boolean contains(VC vc)

contains

public boolean contains(java.lang.String s)

add

public void add(VcProgram vc)

add

public void add(VC vc)

add

public void add(java.lang.String s)