public class RngProperty
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
RngProperty.DatatypeLibraryFactoryPropertyId |
Modifier and Type | Field and Description |
---|---|
static FlagPropertyId |
CHECK_ID_IDREF |
static RngProperty.DatatypeLibraryFactoryPropertyId |
DATATYPE_LIBRARY_FACTORY |
static FlagPropertyId |
FEASIBLE |
public static final RngProperty.DatatypeLibraryFactoryPropertyId DATATYPE_LIBRARY_FACTORY
public static final FlagPropertyId CHECK_ID_IDREF
public static final FlagPropertyId FEASIBLE
public static Option getOption(java.lang.String uri)