|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||
public interface DatatypeLibrary
Interface for converters from datatypes to automata.
| Method Summary | |
|---|---|
Automaton |
datatypeToAutomaton(String lib,
String type,
List<Param> params)
Converter from datatype to automaton. |
boolean |
isKnown(String lib,
String type)
Checks whether this library knows the given datatype. |
Automaton |
valueToAutomaton(String lib,
String type,
String ns,
String value)
Converter from value to automaton. |
| Method Detail |
|---|
Automaton datatypeToAutomaton(String lib,
String type,
List<Param> params)
throws ConverterException
lib - datatype library URItype - datatypeparams - parameters
ConverterException - if unable to convert
boolean isKnown(String lib,
String type)
lib - librarytype - datatype
Automaton valueToAutomaton(String lib,
String type,
String ns,
String value)
throws ConverterException
lib - datatype library URItype - datatypens - namespacevalue - value
ConverterException - if unable to convert
|
|||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||