this.thenBranch = thenBranch;
}
public void computeStateFor(Continuation k) {
Continuation next=k.getNextContinuation();
ConditionalContinuation ck=(ConditionalContinuation)k;
if (thenBranch != null) {
ck.setThenContinuation(thenBranch.continuationWith(next));
} else {
ck.setThenContinuation(next);
}
if (elseBranch != null) {
ck.setElseContinuation(elseBranch.continuationWith(next));
} else {
ck.setElseContinuation(next);
}
}