Java OWLEntityCheckerScope Examples

Example #1

File: OPPLScope.java Project: blcham/OPPL2

 @Override
 public Symbol resolve(String name) {
   Symbol toReturn = owlEntityCheckerScope.resolve(name);
   if (toReturn == null && name.startsWith("!")) {
     toReturn = new CreateOnDemandIdentifier(name);
   }
   return toReturn;
 }

Example #2

File: OPPLScope.java Project: blcham/OPPL2

 @Override
 public void dispose() {
   owlEntityCheckerScope.dispose();
 }

Example #3

File: OPPLScope.java Project: blcham/OPPL2

 @Override
 public Set<Symbol> match(String prefix) {
   return owlEntityCheckerScope.match(prefix);
 }

Example #4

File: OPPLScope.java Project: blcham/OPPL2

 @Override
 public Set<Symbol> getAllSymbols(Type type) {
   return owlEntityCheckerScope.getAllSymbols();
 }