}
else if("ch.ethz.prose.crosscut.REST".equals(adviceParam[i+1].getName())) {
// 3.1.b. 'REST' is only allowed as last parameter
System.err.println("ERROR: can not apply " + adviceMethod);
System.err.println(" 'REST' is only allowed as last argument of an advice, but not before.");
throw new IllegalSignaturePatternException("'REST' may only be used as last parameter of an advice but not as in: " + adviceMethod);
}
else
// 3.1.c. map acces to the parameter (that is not of type 'ANY' or 'REST')
slotMap[oldSlot] = newSlot;