| Other |
|---|
| tbdUnresolved |
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;
}