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

Nested Class Summary

(package private) static class	ManchesterOWLParser.JJCalls
private static class	ManchesterOWLParser.LookaheadSuccess

Field Summary

private boolean	create
static String	errorMessage
private ManchesterOWLParser.JJCalls[]	jj_2_rtns
private int	jj_endpos
private Vector	jj_expentries
private int[]	jj_expentry
private int	jj_gc
private int	jj_gen
(package private) JavaCharStream	jj_input_stream
private int	jj_kind
private int	jj_la
private int[]	jj_la1
private static int[]	jj_la1_0
private static int[]	jj_la1_1
private Token	jj_lastpos
private int[]	jj_lasttokens
private ManchesterOWLParser.LookaheadSuccess	jj_ls
Token	jj_nt
private int	jj_ntk
private boolean	jj_rescan
private Token	jj_scanpos
private boolean	jj_semLA
boolean	lookingAhead
static boolean	nextCouldBeCls
static boolean	nextCouldBeInstance
static boolean	nextCouldBeSlot
private OWLModel	owlModel
static RDFProperty	recentHasValueProperty
Token	token
ManchesterOWLParserTokenManager	token_source

Fields inherited from interface edu.stanford.smi.protegex.owl.model.classparser.manchester.ManchesterOWLParserConstants

ALL, AND, DEFAULT, DIGIT, EOF, EXACT, EXPONENT, FLOATING_POINT_LITERAL, FORMAL_COMMENT, HAS, IDENTIFIER, IN_FORMAL_COMMENT, IN_MULTI_LINE_COMMENT, IN_SINGLE_LINE_COMMENT, INTEGER_LITERAL, LETTER, MAX, MIN, MULTI_LINE_COMMENT, NOT, ONE_OF, OR, SINGLE_LINE_COMMENT, SOME, STRING_LITERAL, tokenImage, XSD

Constructor Summary

ManchesterOWLParser(InputStream stream)

ManchesterOWLParser(ManchesterOWLParserTokenManager tm)

ManchesterOWLParser(Reader stream)

Method Summary

int	CardinalityValue()
static void	checkClass(OWLModel owlModel, String text)
private void	checkFeatureSupported(com.hp.hpl.jena.ontology.OntClass ontClass)
static void	checkHasValueFiller(OWLModel owlModel, String text)
static void	checkQuantifierFiller(OWLModel owlModel, String text)
Object	DataType()
void	disable_tracing()
void	enable_tracing()
ParseException	generateParseException()
Token	getNextToken()
Token	getToken(int index)
RDFSClass	IDClass()
String	Identifier()
private boolean	jj_2_1(int xla)
private boolean	jj_2_2(int xla)
private boolean	jj_3_1()
private boolean	jj_3_2()
private boolean	jj_3R_10()
private boolean	jj_3R_11()
private boolean	jj_3R_12()
private boolean	jj_3R_13()
private boolean	jj_3R_14()
private boolean	jj_3R_15()
private boolean	jj_3R_5()
private boolean	jj_3R_6()
private boolean	jj_3R_7()
private boolean	jj_3R_8()
private boolean	jj_3R_9()
private void	jj_add_error_token(int kind, int pos)
private Token	jj_consume_token(int kind)
private static void	jj_la1_0()
private static void	jj_la1_1()
private int	jj_ntk()
private void	jj_rescan_token()
private void	jj_save(int index, int xla)
private boolean	jj_scan_token(int kind)
RDFSLiteral[]	OneOfValues()
OWLAllValuesFrom	OWLAllValuesFrom(RDFProperty property)
OWLCardinality	OWLCardinality(RDFProperty slot)
OWLCardinalityBase	OWLCardinalityBase(RDFProperty property)
RDFSClass	OWLComplementClass()
RDFSClass	OWLEnumeratedClass()
OWLHasValue	OWLHasValue(RDFProperty slot)
Object	OWLHasValueValue()
Object	OWLHasValueValueAndEOF()
Object	OWLHasValueValueBooleanOrInstance()
Float	OWLHasValueValueFloat()
Integer	OWLHasValueValueInteger()
String	OWLHasValueValueString()
RDFSClass	OWLIntersectionClass()
OWLMaxCardinality	OWLMaxCardinality(RDFProperty slot)
OWLMinCardinality	OWLMinCardinality(RDFProperty slot)
RDFSClass	OWLRestrictionOrNamedClass()
OWLSomeValuesFrom	OWLSomeValuesFrom(RDFProperty property)
RDFSClass	OWLUnionClass()
static RDFSClass	parseClass(OWLModel owlModel, String text)
RDFSClass	parseFile()
static Object	parseHasValueFiller(OWLModel owlModel, String text)
static Object	parseQuantifierFiller(OWLModel owlModel, String text)
void	ReInit(InputStream stream)
void	ReInit(ManchesterOWLParserTokenManager tm)
void	ReInit(Reader stream)
private static void	reset()
OWLRestriction	Restriction(RDFProperty property)

Methods inherited from class java.lang.Object

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

Field Detail

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

owlModel

private OWLModel owlModel

create

private boolean create

token_source

public ManchesterOWLParserTokenManager token_source

jj_input_stream

JavaCharStream jj_input_stream

token

public Token token

jj_nt

public Token jj_nt

jj_ntk

private int jj_ntk

jj_scanpos

private Token jj_scanpos

jj_lastpos

private Token jj_lastpos

jj_la

private int jj_la

lookingAhead

public boolean lookingAhead

jj_semLA

private boolean jj_semLA

jj_gen

private int jj_gen

jj_la1

private final int[] jj_la1

jj_la1_0

private static int[] jj_la1_0

jj_la1_1

private static int[] jj_la1_1

jj_2_rtns

private final ManchesterOWLParser.JJCalls[] jj_2_rtns

jj_rescan

private boolean jj_rescan

jj_gc

private int jj_gc

jj_ls

private final ManchesterOWLParser.LookaheadSuccess jj_ls

jj_expentries

private Vector jj_expentries

jj_expentry

private int[] jj_expentry

jj_kind

private int jj_kind

jj_lasttokens

private int[] jj_lasttokens

jj_endpos

private int jj_endpos

Constructor Detail

ManchesterOWLParser

public ManchesterOWLParser(InputStream stream)

ManchesterOWLParser

public ManchesterOWLParser(Reader stream)

ManchesterOWLParser

public ManchesterOWLParser(ManchesterOWLParserTokenManager tm)

Method Detail

checkClass

public static void checkClass(OWLModel owlModel,
                              String text)
                       throws ParseException

Throws:

ParseException

checkFeatureSupported

private void checkFeatureSupported(com.hp.hpl.jena.ontology.OntClass ontClass)
                            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

reset

private static void reset()

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

jj_2_1

private final boolean jj_2_1(int xla)

jj_2_2

private final boolean jj_2_2(int xla)

jj_3R_5

private final boolean jj_3R_5()

jj_3R_6

private final boolean jj_3R_6()

jj_3_1

private final boolean jj_3_1()

jj_3_2

private final boolean jj_3_2()

jj_3R_14

private final boolean jj_3R_14()

jj_3R_15

private final boolean jj_3R_15()

jj_3R_8

private final boolean jj_3R_8()

jj_3R_12

private final boolean jj_3R_12()

jj_3R_11

private final boolean jj_3R_11()

jj_3R_10

private final boolean jj_3R_10()

jj_3R_13

private final boolean jj_3R_13()

jj_3R_7

private final boolean jj_3R_7()

jj_3R_9

private final boolean jj_3R_9()

jj_la1_0

private static void jj_la1_0()

jj_la1_1

private static void jj_la1_1()

ReInit

public void ReInit(InputStream stream)

ReInit

public void ReInit(Reader stream)

ReInit

public void ReInit(ManchesterOWLParserTokenManager tm)

jj_consume_token

private final Token jj_consume_token(int kind)
                              throws ParseException

Throws:

ParseException

jj_scan_token

private final boolean jj_scan_token(int kind)

getNextToken

public final Token getNextToken()

getToken

public final Token getToken(int index)

jj_ntk

private final int jj_ntk()

jj_add_error_token

private void jj_add_error_token(int kind,
                                int pos)

generateParseException

public ParseException generateParseException()

enable_tracing

public final void enable_tracing()

disable_tracing

public final void disable_tracing()

jj_rescan_token

private final void jj_rescan_token()

jj_save

private final void jj_save(int index,
                           int xla)