Package jhoafparser.extensions
Class HOAConsumerPrintFixed
- java.lang.Object
-
- jhoafparser.extensions.HOAConsumerPrintFixed
-
- All Implemented Interfaces:
jhoafparser.consumer.HOAConsumer
public class HOAConsumerPrintFixed extends Object implements jhoafparser.consumer.HOAConsumer
ThisHOAConsumerrenders the method calls to produce a valid HOA automaton output.
-
-
Constructor Summary
Constructors Constructor Description HOAConsumerPrintFixed(Writer out)Constructor
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description voidaddAlias(String name, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr)voidaddEdgeImplicit(int stateId, List<Integer> conjSuccessors, List<Integer> accSignature)voidaddEdgeWithLabel(int stateId, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr, List<Integer> conjSuccessors, List<Integer> accSignature)voidaddMiscHeader(String name, List<Object> content)voidaddProperties(List<String> properties)voidaddStartStates(List<Integer> stateConjunction)voidaddState(int id, String info, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr, List<Integer> accSignature)voidnotifyAbort()voidnotifyBodyStart()voidnotifyEnd()voidnotifyEndOfState(int stateId)voidnotifyHeaderStart(String version)voidnotifyWarning(String warning)booleanparserResolvesAliases()voidprovideAcceptanceName(String name, List<Object> extraInfo)protected static StringquoteString(String s)Returns the argument, quoted according to HOA quoting rules.voidsetAcceptanceCondition(int numberOfSets, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> accExpr)voidsetAPs(List<String> aps)voidsetName(String name)voidsetNumberOfStates(int numberOfStates)voidsetTool(String name, String version)
-
-
-
Constructor Detail
-
HOAConsumerPrintFixed
public HOAConsumerPrintFixed(Writer out)
Constructor- Parameters:
out- theOutputStream
-
-
Method Detail
-
parserResolvesAliases
public boolean parserResolvesAliases()
- Specified by:
parserResolvesAliasesin interfacejhoafparser.consumer.HOAConsumer
-
notifyHeaderStart
public void notifyHeaderStart(String version) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
notifyHeaderStartin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
setNumberOfStates
public void setNumberOfStates(int numberOfStates) throws jhoafparser.consumer.HOAConsumerException- Specified by:
setNumberOfStatesin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addStartStates
public void addStartStates(List<Integer> stateConjunction) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
addStartStatesin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addAlias
public void addAlias(String name, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
addAliasin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
setAPs
public void setAPs(List<String> aps) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
setAPsin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
setAcceptanceCondition
public void setAcceptanceCondition(int numberOfSets, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> accExpr) throws jhoafparser.consumer.HOAConsumerException- Specified by:
setAcceptanceConditionin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
provideAcceptanceName
public void provideAcceptanceName(String name, List<Object> extraInfo) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
provideAcceptanceNamein interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
setName
public void setName(String name) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
setNamein interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
setTool
public void setTool(String name, String version) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
setToolin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addProperties
public void addProperties(List<String> properties) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
addPropertiesin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addMiscHeader
public void addMiscHeader(String name, List<Object> content) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
addMiscHeaderin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
notifyBodyStart
public void notifyBodyStart() throws jhoafparser.consumer.HOAConsumerException- Specified by:
notifyBodyStartin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addState
public void addState(int id, String info, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr, @Nullable List<Integer> accSignature) throws jhoafparser.consumer.HOAConsumerException- Specified by:
addStatein interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addEdgeImplicit
public void addEdgeImplicit(int stateId, List<Integer> conjSuccessors, @Nullable List<Integer> accSignature) throws jhoafparser.consumer.HOAConsumerException- Specified by:
addEdgeImplicitin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
addEdgeWithLabel
public void addEdgeWithLabel(int stateId, jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomLabel> labelExpr, List<Integer> conjSuccessors, @Nullable List<Integer> accSignature) throws jhoafparser.consumer.HOAConsumerException- Specified by:
addEdgeWithLabelin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
notifyEndOfState
public void notifyEndOfState(int stateId)
- Specified by:
notifyEndOfStatein interfacejhoafparser.consumer.HOAConsumer
-
notifyEnd
public void notifyEnd() throws jhoafparser.consumer.HOAConsumerException- Specified by:
notifyEndin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
notifyAbort
public void notifyAbort()
- Specified by:
notifyAbortin interfacejhoafparser.consumer.HOAConsumer
-
quoteString
protected static String quoteString(String s)
Returns the argument, quoted according to HOA quoting rules.
-
notifyWarning
public void notifyWarning(String warning) throws jhoafparser.consumer.HOAConsumerException
- Specified by:
notifyWarningin interfacejhoafparser.consumer.HOAConsumer- Throws:
jhoafparser.consumer.HOAConsumerException
-
-