RuleSourceFactory (KeY API Documentation)

public class RuleSourceFactory
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`private static java.lang.String`	`PATH_TO_RULES`
`static java.lang.String`	`STD_TACLET_DIR_PROP_KEY` Use this key to set a system property where rule resources have to be looked up.

Constructors
Constructor and Description
`RuleSourceFactory()`

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static RuleSource`	`fromBuiltInRule(java.lang.String ruleFileName)`
`static RuleSource`	`fromDefaultLocation(java.lang.String ruleFileName)`
`static RuleSource`	`initRuleFile(java.io.File file)`
`static RuleSource`	`initRuleFile(java.io.File file, boolean compressed)` Initialise this object from a file
`static RuleSource`	`initRuleFile(java.net.URL url)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static RuleSource fromDefaultLocation(java.lang.String ruleFileName)

public static RuleSource fromBuiltInRule(java.lang.String ruleFileName)

public static RuleSource initRuleFile(java.net.URL url)

public static RuleSource initRuleFile(java.io.File file)

Class RuleSourceFactory