Merge remote-tracking branch 'origin/GP-1224_Dan_pairedStateGetters'

This commit is contained in:
Ryan Kurtz 2021-09-21 10:37:30 -04:00
commit ce9375bbd1
3 changed files with 26 additions and 0 deletions

View file

@ -80,4 +80,12 @@ public class PairedPcodeArithmetic<L, R> implements PcodeArithmetic<Pair<L, R>>
public BigInteger toConcrete(Pair<L, R> value) {
return leftArith.toConcrete(value.getLeft());
}
public PcodeArithmetic<L> getLeft() {
return leftArith;
}
public PcodeArithmetic<R> getRight() {
return rightArith;
}
}

View file

@ -41,11 +41,13 @@ public class PairedPcodeExecutorState<L, R>
implements PcodeExecutorState<Pair<L, R>> {
private final PcodeExecutorStatePiece<L, L> left;
private final PcodeExecutorStatePiece<L, R> right;
public PairedPcodeExecutorState(PcodeExecutorStatePiece<L, L> left,
PcodeExecutorStatePiece<L, R> right) {
super(new PairedPcodeExecutorStatePiece<>(left, right));
this.left = left;
this.right = right;
}
@Override
@ -62,4 +64,12 @@ public class PairedPcodeExecutorState<L, R>
public MemBuffer getConcreteBuffer(Address address) {
return left.getConcreteBuffer(address);
}
public PcodeExecutorStatePiece<L, L> getLeft() {
return left;
}
public PcodeExecutorStatePiece<L, R> getRight() {
return right;
}
}

View file

@ -65,4 +65,12 @@ public class PairedPcodeExecutorStatePiece<A, L, R>
public MemBuffer getConcreteBuffer(Address address) {
return left.getConcreteBuffer(address);
}
public PcodeExecutorStatePiece<A, L> getLeft() {
return left;
}
public PcodeExecutorStatePiece<A, R> getRight() {
return right;
}
}