/** * @param rendering rendering * @return manchester owl syntax object */ @Nullable public static ManchesterOWLSyntax parse(String rendering) { for (ManchesterOWLSyntax m : values()) { if (m.matches(rendering)) { return m; } } return null; }
/** * @param rendering rendering * @return manchester owl syntax object */ @Nullable public static ManchesterOWLSyntax parse(String rendering) { for (ManchesterOWLSyntax m : values()) { if (m.matches(rendering)) { return m; } } return null; }
/** * @param rendering rendering * @return manchester owl syntax object */ @Nullable public static ManchesterOWLSyntax parse(String rendering) { for (ManchesterOWLSyntax m : values()) { if (m.matches(rendering)) { return m; } } return null; }
/** * @param rendering rendering * @return manchester owl syntax object */ @Nullable public static ManchesterOWLSyntax parse(String rendering) { for (ManchesterOWLSyntax m : values()) { if (m.matches(rendering)) { return m; } } return null; }
private static boolean isManchesterSyntaxKeyword(String currentToken) { String strippedToken; if(currentToken.endsWith(":")) { strippedToken = currentToken.substring(0, currentToken.length() - 1); } else { strippedToken = currentToken; } for(ManchesterOWLSyntax syntax : ManchesterOWLSyntax.values()) { if(strippedToken.equals(syntax.keyword())) { return true; } } return false; }
public ManchesterSyntaxKeywords() { for(ManchesterOWLSyntax syntax : ManchesterOWLSyntax.values()) { keywordMap.put(syntax.keyword(), syntax); if(syntax.isFrameKeyword()) { keywordStyleMap.put(syntax, FRAME_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), FRAME_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword() + ":", FRAME_KEYWORD_STYLE); keywordMap.put(syntax.keyword() + ":", syntax); } else if(syntax.isSectionKeyword()) { keywordStyleMap.put(syntax, SECTION_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), SECTION_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword() + ":", SECTION_KEYWORD_STYLE); keywordMap.put(syntax.keyword() + ":", syntax); } else if(syntax.isClassExpressionQuantiferKeyword()) { keywordStyleMap.put(syntax, QUANTIFIER_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), QUANTIFIER_KEYWORD_STYLE); } else if(syntax.isClassExpressionConnectiveKeyword()) { keywordStyleMap.put(syntax, CONNECTIVE_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), CONNECTIVE_KEYWORD_STYLE); } else if(syntax.isAxiomKeyword()) { keywordStyleMap.put(syntax, AXIOM_KEYWORD_STYLE); rawKeyword2StyleNameMap.put(syntax.keyword(), AXIOM_KEYWORD_STYLE); } } }
public KeywordColourMap() { Color restrictionColor = new Color(178, 0, 178); Color logicalOpColor = new Color(0, 178, 178); Color axiomColor = new Color(10, 94, 168); Color typeColor = new Color(178, 178, 178); for (ManchesterOWLSyntax keyword : ManchesterOWLSyntax.values()){ if (keyword.isAxiomKeyword()){ put(keyword.toString(), axiomColor); put(keyword.toString() + ":", axiomColor); } else if (keyword.isClassExpressionConnectiveKeyword()){ put(keyword.toString(), logicalOpColor); } else if (keyword.isClassExpressionQuantiferKeyword()){ put(keyword.toString(), restrictionColor); } else if (keyword.isSectionKeyword()){ put(keyword.toString(), typeColor); put(keyword.toString() + ":", typeColor); } } put("o", axiomColor); // put("\u279E", axiomColor); // put("\u2192", axiomColor); // put("\u2227", axiomColor); } }
public KeywordColourMap() { Color restrictionColor = new Color(178, 0, 178); Color logicalOpColor = new Color(0, 178, 178); Color axiomColor = new Color(10, 94, 168); Color typeColor = new Color(178, 178, 178); for (ManchesterOWLSyntax keyword : ManchesterOWLSyntax.values()){ if (keyword.isAxiomKeyword()){ put(keyword.toString(), axiomColor); put(keyword.toString() + ":", axiomColor); } else if (keyword.isClassExpressionConnectiveKeyword()){ put(keyword.toString(), logicalOpColor); } else if (keyword.isClassExpressionQuantiferKeyword()){ put(keyword.toString(), restrictionColor); } else if (keyword.isSectionKeyword()){ put(keyword.toString(), typeColor); put(keyword.toString() + ":", typeColor); } } put("o", axiomColor); // put("\u279E", axiomColor); // put("\u2192", axiomColor); // put("\u2227", axiomColor); } }
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getTopDatatype();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getTopDatatype();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getTopDatatype();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getTopDatatype();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getOWLThing();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getOWLThing();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getOWLThing();
for (ManchesterOWLSyntax x : values()) { if (x.matches(tok)) { return df.getOWLThing();