edu.stanford.smi.protegex.owl.model.classparser.manchester
Class ManchesterOWLParser
java.lang.Object
edu.stanford.smi.protegex.owl.model.classparser.manchester.ManchesterOWLParser
- All Implemented Interfaces:
- ManchesterOWLParserConstants
public class ManchesterOWLParser
- extends Object
- implements ManchesterOWLParserConstants
Fields inherited from interface edu.stanford.smi.protegex.owl.model.classparser.manchester.ManchesterOWLParserConstants |
ALL, AND, CLASS_EXPR_COMMENT, CLOSEPAR, CLOSESQPAR, DATATYPEID, DEFAULT, DIGIT, EOF, EXACT, EXPONENT, FLOATING_POINT_LITERAL, HAS, IDENTIFIER, INTEGER_LITERAL, LETTER, MAX, MIN, NOT, ONE_OF, OPENPAR, OPENSQPAR, OR, SOME, STRING_LITERAL, tokenImage, UNBOUNDEDVAL |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
nextCouldBeCls
public static boolean nextCouldBeCls
nextCouldBeInstance
public static boolean nextCouldBeInstance
nextCouldBeSlot
public static boolean nextCouldBeSlot
recentHasValueProperty
public static RDFProperty recentHasValueProperty
errorMessage
public static String errorMessage
nextCouldBeDatatypeName
public static boolean nextCouldBeDatatypeName
token_source
public ManchesterOWLParserTokenManager token_source
token
public Token token
jj_nt
public Token jj_nt
lookingAhead
public boolean lookingAhead
ManchesterOWLParser
public ManchesterOWLParser(InputStream stream)
ManchesterOWLParser
public ManchesterOWLParser(InputStream stream,
String encoding)
ManchesterOWLParser
public ManchesterOWLParser(Reader stream)
ManchesterOWLParser
public ManchesterOWLParser(ManchesterOWLParserTokenManager tm)
getDatatypeNameChecker
public static DatatypeNameChecker getDatatypeNameChecker()
checkClass
public static void checkClass(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
checkHasValueFiller
public static void checkHasValueFiller(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
checkQuantifierFiller
public static void checkQuantifierFiller(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
parseClass
public static RDFSClass parseClass(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
parseHasValueFiller
public static Object parseHasValueFiller(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
parseQuantifierFiller
public static Object parseQuantifierFiller(OWLModel owlModel,
String text)
throws ParseException
- Throws:
ParseException
parseFile
public final RDFSClass parseFile()
throws ParseException
- Throws:
ParseException
OWLUnionClass
public final RDFSClass OWLUnionClass()
throws ParseException
- Throws:
ParseException
OWLIntersectionClass
public final RDFSClass OWLIntersectionClass()
throws ParseException
- Throws:
ParseException
OWLComplementClass
public final RDFSClass OWLComplementClass()
throws ParseException
- Throws:
ParseException
OWLRestrictionOrNamedClass
public final RDFSClass OWLRestrictionOrNamedClass()
throws ParseException
- Throws:
ParseException
IDClass
public final RDFSClass IDClass()
throws ParseException
- Throws:
ParseException
Restriction
public final OWLRestriction Restriction(RDFProperty property)
throws ParseException
- Throws:
ParseException
OWLCardinalityBase
public final OWLCardinalityBase OWLCardinalityBase(RDFProperty property)
throws ParseException
- Throws:
ParseException
OWLMaxCardinality
public final OWLMaxCardinality OWLMaxCardinality(RDFProperty slot)
throws ParseException
- Throws:
ParseException
OWLMinCardinality
public final OWLMinCardinality OWLMinCardinality(RDFProperty slot)
throws ParseException
- Throws:
ParseException
OWLCardinality
public final OWLCardinality OWLCardinality(RDFProperty slot)
throws ParseException
- Throws:
ParseException
OWLHasValue
public final OWLHasValue OWLHasValue(RDFProperty slot)
throws ParseException
- Throws:
ParseException
OWLHasValueValueAndEOF
public final Object OWLHasValueValueAndEOF()
throws ParseException
- Throws:
ParseException
OWLHasValueValue
public final Object OWLHasValueValue()
throws ParseException
- Throws:
ParseException
OWLHasValueValueString
public final String OWLHasValueValueString()
throws ParseException
- Throws:
ParseException
OWLHasValueValueFloat
public final Float OWLHasValueValueFloat()
throws ParseException
- Throws:
ParseException
OWLHasValueValueInteger
public final Integer OWLHasValueValueInteger()
throws ParseException
- Throws:
ParseException
OWLHasValueValueBooleanOrInstance
public final Object OWLHasValueValueBooleanOrInstance()
throws ParseException
- Throws:
ParseException
CardinalityValue
public final int CardinalityValue()
throws ParseException
- Throws:
ParseException
Identifier
public final String Identifier()
throws ParseException
- Throws:
ParseException
OWLEnumeratedClass
public final RDFSClass OWLEnumeratedClass()
throws ParseException
- Throws:
ParseException
OWLAllValuesFrom
public final OWLAllValuesFrom OWLAllValuesFrom(RDFProperty property)
throws ParseException
- Throws:
ParseException
OWLSomeValuesFrom
public final OWLSomeValuesFrom OWLSomeValuesFrom(RDFProperty property)
throws ParseException
- Throws:
ParseException
DataType
public final Object DataType()
throws ParseException
- Throws:
ParseException
OneOfValues
public final RDFSLiteral[] OneOfValues()
throws ParseException
- Throws:
ParseException
ReInit
public void ReInit(InputStream stream)
ReInit
public void ReInit(InputStream stream,
String encoding)
ReInit
public void ReInit(Reader stream)
ReInit
public void ReInit(ManchesterOWLParserTokenManager tm)
getNextToken
public final Token getNextToken()
getToken
public final Token getToken(int index)
generateParseException
public ParseException generateParseException()
enable_tracing
public final void enable_tracing()
disable_tracing
public final void disable_tracing()
Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.