public class RuleCollection
extends java.lang.Object
Constructor and Description |
---|
RuleCollection(RuleSource standardTaclets,
ImmutableList<BuiltInRule> standardBuiltInRules) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<BuiltInRule> |
getStandardBuiltInRules()
returns a list of all built in rules to be used
|
RuleSource |
getTacletBase()
returns the rule source containg all taclets for this profile
|
java.lang.String |
toString()
toString
|
public RuleCollection(RuleSource standardTaclets, ImmutableList<BuiltInRule> standardBuiltInRules)
public RuleSource getTacletBase()
public ImmutableList<BuiltInRule> getStandardBuiltInRules()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.