|
|||||||
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 convertboolean 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 |