public class ParserConfig
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private NamespaceSet |
nss |
private Services |
services |
Constructor and Description |
---|
ParserConfig(Services services,
NamespaceSet nss) |
Modifier and Type | Method and Description |
---|---|
JavaInfo |
javaInfo() |
KeYRecoderMapping |
keyRecoderMapping() |
NamespaceSet |
namespaces() |
KeYCrossReferenceServiceConfiguration |
serviceConfiguration() |
Services |
services() |
TypeConverter |
typeConverter() |
private Services services
private NamespaceSet nss
public ParserConfig(Services services, NamespaceSet nss)
public Services services()
public NamespaceSet namespaces()
public JavaInfo javaInfo()
public KeYRecoderMapping keyRecoderMapping()
public TypeConverter typeConverter()
public KeYCrossReferenceServiceConfiguration serviceConfiguration()