public class XMLResources
extends java.lang.Object
InfoView
.Modifier and Type | Field and Description |
---|---|
protected java.util.Properties |
functionExplanations |
protected java.util.Properties |
ruleExplanations |
protected java.util.Properties |
termLabelExplanations |
Constructor and Description |
---|
XMLResources() |
Modifier and Type | Method and Description |
---|---|
java.util.Properties |
getFunctionExplanations() |
java.util.Properties |
getRuleExplanations() |
java.util.Properties |
getTermLabelExplanations() |
Copyright © 2003-2019 The KeY-Project.