-
Sub-task
-
Resolution: Unresolved
-
P4
-
17, 18
Add an optional attribute "name" to allow the user to give a rule a certain name. This name is then showed in an error message instead of "Rule [number]". This could be useful when having multiple IR rules with different purposes to quickly get an idea of what went wrong.
Example:
@Test
@IR(name = "No Store", failOn = IRNode.STORE)
@IR(name = "3 Loads", counts = {IRNode.LOAD, "3"})
public int test() {
return 3;
}
Example:
@Test
@IR(name = "No Store", failOn = IRNode.STORE)
@IR(name = "3 Loads", counts = {IRNode.LOAD, "3"})
public int test() {
return 3;
}