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

Class LogicSchemaParser<T extends LogicConstraintSpec>

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser<T>

Direct Known Subclasses:

LogicSchemaWithIDsParser, LogicSchemaWithoutIDsParser

public abstract class LogicSchemaParser<T extends LogicConstraintSpec>
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	LogicSchemaParser()
protected	LogicSchemaParser(TermTypeCriteria termTypeCriteria, CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Summary

Modifier and Type	Method	Description
protected abstract LogicSchemaFactory<T>	createLogicSchemaFactory()
protected abstract LogicSchemaGrammarToSpecVisitor<T>	createVisitor(StringToTermSpecFactory stringToTermSpecFactory)
LogicSchema	parse(String schemaString)
LogicSchema	parse(String schemaString, Set<Predicate> relationalSchema)
LogicSchemaSpec<T>	parseToSpec(String schemaString)

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaParser

protected LogicSchemaParser()

LogicSchemaParser

protected LogicSchemaParser(TermTypeCriteria termTypeCriteria,
 CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Details

createVisitor

protected abstract LogicSchemaGrammarToSpecVisitor<T> createVisitor(StringToTermSpecFactory stringToTermSpecFactory)

createLogicSchemaFactory

protected abstract LogicSchemaFactory<T> createLogicSchemaFactory()

parse

public LogicSchema parse(String schemaString)

parse

public LogicSchema parse(String schemaString,
 Set<Predicate> relationalSchema)

parseToSpec

public LogicSchemaSpec<T> parseToSpec(String schemaString)