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

Class LogicSchemaWithIDsParser

java.lang.Object

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

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

public class LogicSchemaWithIDsParser
extends LogicSchemaParser<LogicConstraintWithIDSpec>

Constructor Summary

Constructors

Constructor	Description
LogicSchemaWithIDsParser()
LogicSchemaWithIDsParser(TermTypeCriteria termTypeCriteria, CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Summary

Modifier and Type	Method	Description
protected LogicSchemaFactory<LogicConstraintWithIDSpec>	createLogicSchemaFactory()
protected LogicSchemaGrammarToSpecVisitor<LogicConstraintWithIDSpec>	createVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.services.parser.LogicSchemaParser

parse, parse, parseToSpec

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaWithIDsParser

public LogicSchemaWithIDsParser()

LogicSchemaWithIDsParser

public LogicSchemaWithIDsParser(TermTypeCriteria termTypeCriteria,
 CustomBuiltInPredicateNameChecker builtInPredicateNameChecker)

Method Details

createVisitor

protected LogicSchemaGrammarToSpecVisitor<LogicConstraintWithIDSpec> createVisitor(StringToTermSpecFactory stringToTermSpecFactory)

Specified by:

createVisitor in class LogicSchemaParser<LogicConstraintWithIDSpec>

createLogicSchemaFactory

protected LogicSchemaFactory<LogicConstraintWithIDSpec> createLogicSchemaFactory()

Specified by:

createLogicSchemaFactory in class LogicSchemaParser<LogicConstraintWithIDSpec>