Uses of Class
net.sourceforge.czt.vcg.z.VCGException

Packages that use VCGException

Package	Description
net.sourceforge.czt.vcg.z
net.sourceforge.czt.vcg.z.dc
net.sourceforge.czt.vcg.z.feasibility
net.sourceforge.czt.vcg.z.refinement

Uses of VCGException in net.sourceforge.czt.vcg.z

Subclasses of VCGException in net.sourceforge.czt.vcg.z

Modifier and Type	Class and Description
class	VCCollectionException TODO: should it include underlying VC?

Methods in net.sourceforge.czt.vcg.z with parameters of type VCGException

Modifier and Type	Method and Description
static List<? extends Throwable>	VCGUtils.handleVCGException(VCGException e, String jobName)

Methods in net.sourceforge.czt.vcg.z that throw VCGException

Modifier and Type	Method and Description
protected void	AbstractVCG.calculateThmTable(String sectNameVC) Calculate ThmTable for the VC ZSectName create on the fly
VCEnvAnn	VCGUtils.calculateVCEnv(net.sourceforge.czt.base.ast.Term term) Retrieves the ZSect VC Env for the given Term.
VCEnvAnn	VCGUtils.calculateZSectVCEnv(ZSect zSect) Retrieves the ZSect VC Env for the given ZSect.
protected void	AbstractVCG.checkSectionManager(String info) Checks whether there is a section manager or not, and raises the error wrapped up as a CztException.
protected void	VCGUtils.checkVCFileAndUpdateManager(String vcFileName)
protected void	VCGUtils.checkVCZSectConsistency(VCEnvAnn zSectVCEnv) Makes sure the given VCEnvAnn is known within the underlying section manager, and that its VC ZSect and original ZSect are also known.
SectionManager	VCG.config() Sets up available options according to the section manager's configuration.
SectionManager	AbstractVCG.config() Sets up available options according to the section manager's configuration.
SectionManager	VCGUtils.createSectionManager(Dialect extension) This method should be called as few times as possible, as it returns a brand new section manager .
VCEnvAnn	VCG.createVCEnvAnn(net.sourceforge.czt.base.ast.Term term) VC calculation for the given term, presuming it is a ZSect, Para, Pred, Expr or Decl.
VCEnvAnn	AbstractVCG.createVCEnvAnn(net.sourceforge.czt.base.ast.Term term) Create VCEnvAnn for term with on-the-fly ZSect with standard toolkit as parent.
VCEnvAnn	AbstractVCG.createVCEnvAnn(net.sourceforge.czt.base.ast.Term term, List<? extends Parent> parents) VC calculation for the given term, presuming it is a ZSect, Para, Pred, Expr or Decl.
VCEnvAnn	VCG.createVCEnvAnn(ZSect term) Process the given Z section to generate VCs.
VCEnvAnn	AbstractVCG.createVCEnvAnn(ZSect term) Process the given Z section to generate VCs.
protected void	AbstractVCG.doConfig()
protected abstract VCEnvAnn	VCGCommand.generateVCS(ZSect zSect, SectionManager manager) After parsing and type checking, generate VCs for the given zSect accordingly.
void	AbstractVCG.populateResultsToVCZSect(ZSect result, List<VC<Pred>> vcList) Adds to the given VC Z section the list of VCs for each corresponding paragraph as a conjecture paragraph.
CztPrintString	VCGUtils.print(VCEnvAnn zSectVCEnv, Markup markup) Prints the given VC ZSect environment in the given markup as a CZT string.
void	VCGUtils.printToFile(VCEnvAnn zSectVCEnv, String path, Markup markup) Prints the given VC ZSect name as a file in the given path and given Markup.
void	VCGUtils.setSectionManager(SectionManager manager) To reuse a section manager, set it as such, if VCG not already set.
void	VCG.setSectionManager(SectionManager manager)
void	AbstractVCG.setSectionManager(SectionManager manager) Reset parameters, sets the section manager, then retrieves configuration for known properties (i.e., it calls AbstractVCG.reset() and AbstractVCG.config() methods).
void	VCG.typeCheck(String sectName, boolean sourceSect)
void	AbstractVCG.typeCheck(String sectName, boolean sourceSect) Type checks the given section name.
CztPrintString	VCGUtils.vcg(File file) Given a file containing one or more ZSects, prints a CZT string corresponding to the section(s) in the file.
void	VCGUtils.vcgToFile(File file) Calculates the VCG results (see VCGUtils.vcg(java.io.File)) and writes then to a file according to #getVCFilename(java.lang.String, java.lang.String) .
protected void	VCGUtils.writeToFile(CztPrintString output, String vcFileName)

Uses of VCGException in net.sourceforge.czt.vcg.z.dc

Subclasses of VCGException in net.sourceforge.czt.vcg.z.dc

Modifier and Type	Class and Description
class	DomainCheckException

Methods in net.sourceforge.czt.vcg.z.dc that throw VCGException

Modifier and Type	Method and Description
protected void	DomainCheckerVCG.doConfig()
protected VCEnvAnn	DomainCheckerCommand.generateVCS(ZSect zSect, SectionManager manager)

Uses of VCGException in net.sourceforge.czt.vcg.z.feasibility

Subclasses of VCGException in net.sourceforge.czt.vcg.z.feasibility

Modifier and Type	Class and Description
class	FeasibilityException

Methods in net.sourceforge.czt.vcg.z.feasibility that throw VCGException

Modifier and Type	Method and Description
protected void	FeasibilityVCG.doConfig()
protected VCEnvAnn	FeasibilityCommand.generateVCS(ZSect zSect, SectionManager manager)
void	FeasibilityVCG.typeCheck(String sectName, boolean sourceSect)

Uses of VCGException in net.sourceforge.czt.vcg.z.refinement

Subclasses of VCGException in net.sourceforge.czt.vcg.z.refinement

Modifier and Type	Class and Description
class	RefinementException

Methods in net.sourceforge.czt.vcg.z.refinement that throw VCGException

Modifier and Type	Method and Description
protected void	RefinementVCG.doConfig()
protected VCEnvAnn	RefinementCommand.generateVCS(ZSect zSect, SectionManager manager)