/** {@inheritDoc} */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** @inheritDoc */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** @inheritDoc */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** {@inheritDoc} */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** {@inheritDoc} */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** @inheritDoc */ @Override public int getMaxLocals() { return primary.getMaxLocals(); }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** * Constructs an instance with the specified primary and secondaries set. * * @param primary {@code non-null;} primary locals to use * @param secondaries {@code non-null;} secondaries set, indexed by subroutine * caller label. */ public LocalsArraySet(OneLocalsArray primary, ArrayList<LocalsArray> secondaries) { super(primary.getMaxLocals() > 0); this.primary = primary; this.secondaries = secondaries; }
/** @inheritDoc */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** {@inheritDoc} */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** {@inheritDoc} */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** {@inheritDoc} */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** @inheritDoc */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** @inheritDoc */ @Override public LocalsArraySet mergeWithSubroutineCaller (LocalsArray other, int predLabel) { LocalsArraySet result = new LocalsArraySet(getMaxLocals()); return result.mergeWithSubroutineCaller(other, predLabel); }
/** {@inheritDoc} */ @Override public void makeInitialized(Type type) { int len = primary.getMaxLocals(); if (len == 0) { // We have to check for this before checking for immutability. return; } throwIfImmutable(); primary.makeInitialized(type); for (LocalsArray la : secondaries) { if (la != null) { la.makeInitialized(type); } } }
/** @inheritDoc */ @Override public void makeInitialized(Type type) { int len = primary.getMaxLocals(); if (len == 0) { // We have to check for this before checking for immutability. return; } throwIfImmutable(); primary.makeInitialized(type); for (LocalsArray la : secondaries) { if (la != null) { la.makeInitialized(type); } } }