Constructor.paramnumber the Message number super(EQ, number);
super(EQ, number);
Equality comparison. if (!(obj instanceof MessageNumberTerm)) return false; return super.equals(obj);
if (!(obj instanceof MessageNumberTerm)) return false; return super.equals(obj);
The match method.parammsg the Message number is matched with this Messagereturntrue if the match succeeds, otherwise false int msgno; try { msgno = msg.getMessageNumber(); } catch (Exception e) { return false; } return super.match(msgno);
int msgno; try { msgno = msg.getMessageNumber(); } catch (Exception e) { return false; } return super.match(msgno);