Deprecate primary symbols in handler. All usages are safe to be dropped.

This commit is contained in:
Fedor Isakov 2018-08-03 15:20:00 +02:00
parent c8e0464739
commit d8c2310f98
2 changed files with 3 additions and 2 deletions

View File

@ -28,6 +28,7 @@ public abstract class Handler {
public abstract String name();
@Deprecated
public abstract Iterable<ConstraintSymbol> primarySymbols();
public abstract Iterable<Rule> rules();

View File

@ -184,13 +184,13 @@ class TestMatcher {
@Test
fun multipleHandlers() {
programWithHandlers(
handler("handler1", listOf(ConstraintSymbol("foo", 0)),
handler("handler1", emptyList(),
rule("main1",
headKept(
constraint("foo")
))
),
handler("handler2", listOf(ConstraintSymbol("bar", 0)),
handler("handler2", emptyList(),
rule("main2",
headKept(
constraint("bar")