net.sourceforge.czt.vcg.z

Class TrivialVCCollector<T,B>

java.lang.Object

net.sourceforge.czt.vcg.z.AbstractVCCollector<T,B>

net.sourceforge.czt.vcg.z.TrivialVCCollector<T,B>

All Implemented Interfaces:

net.sourceforge.czt.base.visitor.TermVisitor<Pred>, net.sourceforge.czt.util.Visitor<Pred>, VCCollector<T,B>, AnnVisitor<Pred>, NarrParaVisitor<Pred>, OptempParaVisitor<Pred>, StrokeVisitor<Pred>, TypeVisitor<Pred>, UnparsedParaVisitor<Pred>, ZStrokeListVisitor<Pred>

Direct Known Subclasses:

TrivialDCVCCollector, TrivialFeasibilityVCCollector

public abstract class TrivialVCCollector<T,B>
extends AbstractVCCollector<T,B>
implements UnparsedParaVisitor<Pred>, NarrParaVisitor<Pred>, TypeVisitor<Pred>, AnnVisitor<Pred>, StrokeVisitor<Pred>, ZStrokeListVisitor<Pred>, OptempParaVisitor<Pred>

Trivial Term VC generator. It returns true for all predicates that have trivial/irrelevant VCs, like narrative text. This is different from a default result, which if present at all, ought to be false (the strongest possible VC) or an exception. That's what AbstractVCCollector does.

Author:

leo

Constructor Summary

Constructors

Constructor and Description
TrivialVCCollector(Factory factory) Creates a new instance of TrivialVCCollector

Method Summary

Modifier and Type	Method and Description
List<? extends Para>	addedPara() Any added paragraph during VC generation with an associated index for ease of insertion in derived Z sections
protected Pred	calculateVC(Para term)
VC<Pred>	createVC(long vcId, Para term, VCType type, Pred vc) Given a paragraph and a VC, creates the underlying VC object.
protected Pred	truePred() Creates a TruePred (i.e.
Pred	visitAnn(Ann term)
Pred	visitNarrPara(NarrPara term)
Pred	visitOptempPara(OptempPara term)
Pred	visitStroke(Stroke term)
Pred	visitTerm(net.sourceforge.czt.base.ast.Term term) For terms in general, just assume nothing is known about them, hence their VC is the worst possible (i.e.
Pred	visitType(Type term)
Pred	visitUnparsedPara(UnparsedPara term)
Pred	visitZStrokeList(ZStrokeList term)

Methods inherited from class net.sourceforge.czt.vcg.z.AbstractVCCollector

afterCalculateVC, beforeCalculateVC, calculateVC, getDefTable, getDialect, getFactory, getLogger, getVCCount, getVCGContext, getVCNameFactory, getVCType, getZFactory, resetDefTable, resetVCCount, setVCGContext, setVCNameFactory, stepVCCounter

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sourceforge.czt.vcg.z.VCCollector

getTransformer, visit

Constructor Detail

TrivialVCCollector

public TrivialVCCollector(Factory factory)

Creates a new instance of TrivialVCCollector

Parameters:

factory -

Method Detail

truePred

protected Pred truePred()

Creates a TruePred (i.e. true)

Returns:

calculateVC

protected Pred calculateVC(Para term)
                    throws VCCollectionException

Specified by:

calculateVC in class AbstractVCCollector<T,B>

Throws:

VCCollectionException

createVC

public VC<Pred> createVC(long vcId,
                         Para term,
                         VCType type,
                         Pred vc)
                  throws VCCollectionException

Description copied from interface: VCCollector

Given a paragraph and a VC, creates the underlying VC object.

Specified by:

createVC in interface VCCollector<T,B>

Returns:

Throws:

VCCollectionException

visitTerm

public Pred visitTerm(net.sourceforge.czt.base.ast.Term term)

For terms in general, just assume nothing is known about them, hence their VC is the worst possible (i.e. false). That means, if our implementation fails to recognise some term, it will always lead to a safe result (i.e. an impossible VC to prove!). An alternative implementation would be to raise an exception.

Specified by:

visitTerm in interface net.sourceforge.czt.base.visitor.TermVisitor<Pred>

Overrides:

visitTerm in class AbstractVCCollector<T,B>

Parameters:

term -

visitOptempPara

public Pred visitOptempPara(OptempPara term)

Specified by:

visitOptempPara in interface OptempParaVisitor<Pred>

visitUnparsedPara

public Pred visitUnparsedPara(UnparsedPara term)

Specified by:

visitUnparsedPara in interface UnparsedParaVisitor<Pred>

visitNarrPara

public Pred visitNarrPara(NarrPara term)

Specified by:

visitNarrPara in interface NarrParaVisitor<Pred>

visitType

public Pred visitType(Type term)

Specified by:

visitType in interface TypeVisitor<Pred>

visitAnn

public Pred visitAnn(Ann term)

Specified by:

visitAnn in interface AnnVisitor<Pred>

visitStroke

public Pred visitStroke(Stroke term)

Specified by:

visitStroke in interface StrokeVisitor<Pred>

visitZStrokeList

public Pred visitZStrokeList(ZStrokeList term)

Specified by:

visitZStrokeList in interface ZStrokeListVisitor<Pred>

addedPara

public List<? extends Para> addedPara()

Description copied from interface: VCCollector

Any added paragraph during VC generation with an associated index for ease of insertion in derived Z sections

Specified by:

addedPara in interface VCCollector<T,B>

Returns: