parser.absconparseur.tools
Class InstanceCheckerParser

java.lang.Object
  extended by parser.absconparseur.tools.InstanceCheckerParser

public class InstanceCheckerParser
extends Object


Field Summary
protected static Logger LOGGER
           
 
Constructor Summary
InstanceCheckerParser(InstanceCheckerEngine logic, Document document, boolean competitionControl)
           
 
Method Summary
 void checkValidity()
           
 void convertToExtension()
           
 Map<String,String> getConstraintsToNewRelations()
           
 Map<String,PFunction> getFunctionsMap()
           
 int getMaxConstraintRAity()
           
 String getName()
           
 List<PRelation> getNewRelations()
           
 Map<String,PPredicate> getPredicatesMap()
           
 Map<String,PRelation> getRelationsMap()
           
 boolean hasCanonicalNames()
           
 void updateStructures()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER
Constructor Detail

InstanceCheckerParser

public InstanceCheckerParser(InstanceCheckerEngine logic,
                             Document document,
                             boolean competitionControl)
                      throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException
Method Detail

getMaxConstraintRAity

public int getMaxConstraintRAity()

getNewRelations

public List<PRelation> getNewRelations()

getName

public String getName()

getRelationsMap

public Map<String,PRelation> getRelationsMap()

getFunctionsMap

public Map<String,PFunction> getFunctionsMap()

getPredicatesMap

public Map<String,PPredicate> getPredicatesMap()

getConstraintsToNewRelations

public Map<String,String> getConstraintsToNewRelations()

hasCanonicalNames

public boolean hasCanonicalNames()

checkValidity

public void checkValidity()
                   throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException

convertToExtension

public void convertToExtension()
                        throws parser.absconparseur.tools.InstanceCheckerParser.FormatException
Throws:
parser.absconparseur.tools.InstanceCheckerParser.FormatException

updateStructures

public void updateStructures()


Copyright © 2012. All Rights Reserved.