Lines Matching defs:user
36 private final CodeAddress user;
55 * @param user {@code non-null;} address representing the instruction that
61 public SwitchData(SourcePosition position, CodeAddress user,
65 if (user == null) {
66 throw new NullPointerException("user == null");
87 this.user = user;
103 int baseAddress = user.getAddress();
149 return new SwitchData(getPosition(), user, cases, targets);
180 int baseAddress = user.getAddress();