Package edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer

Class LogicSchemaPrinter

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.printer.LogicSchemaPrinter

All Implemented Interfaces:

LogicSchemaVisitor<String>

public class LogicSchemaPrinter
extends Object
implements LogicSchemaVisitor<String>

Field Summary

Fields

Modifier and Type	Field	Description
static final String	COMMA_SEPARATOR
static final String	NORMAL_CLAUSE_SEPARATOR
static final String	NOT

Constructor Summary

Constructors

Constructor	Description
LogicSchemaPrinter()

Method Summary

Modifier and Type	Method	Description
String	print(LogicSchema logicSchema)
String	visit(Atom atom)
String	visit(BooleanBuiltInLiteral booleanBuiltInLiteral)
String	visit(ComparisonBuiltInLiteral comparisonBuiltInLiteral)
String	visit(ComparisonOperator comparisonOperator)
String	visit(Constant constant)
String	visit(ConstraintID constraintID)
String	visit(CustomBuiltInLiteral customBuiltInLiteral)
String	visit(DerivationRule derivationRule)
String	visit(ImmutableAtomList atoms)
String	visit(ImmutableLiteralsList literals)
String	visit(ImmutableTermList terms)
String	visit(LogicConstraint constraint)
String	visit(LogicSchema logicSchema)
String	visit(OrdinaryLiteral ordinaryLiteral)
String	visit(Predicate predicate)
String	visit(Variable variable)

Methods inherited from class java.lang.Object

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

Field Details

NORMAL_CLAUSE_SEPARATOR

public static final String NORMAL_CLAUSE_SEPARATOR

See Also:

• Constant Field Values

COMMA_SEPARATOR

public static final String COMMA_SEPARATOR

See Also:

• Constant Field Values

NOT

public static final String NOT

See Also:

• Constant Field Values

Constructor Details

LogicSchemaPrinter

public LogicSchemaPrinter()

Method Details

print

public String print(LogicSchema logicSchema)

visit

public String visit(LogicSchema logicSchema)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(LogicConstraint constraint)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(DerivationRule derivationRule)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ConstraintID constraintID)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ImmutableLiteralsList literals)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(OrdinaryLiteral ordinaryLiteral)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ComparisonBuiltInLiteral comparisonBuiltInLiteral)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(BooleanBuiltInLiteral booleanBuiltInLiteral)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(CustomBuiltInLiteral customBuiltInLiteral)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ComparisonOperator comparisonOperator)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(Predicate predicate)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ImmutableTermList terms)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(Variable variable)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(Constant constant)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(ImmutableAtomList atoms)

Specified by:

visit in interface LogicSchemaVisitor<String>

visit

public String visit(Atom atom)

Specified by:

visit in interface LogicSchemaVisitor<String>