public static class LivenessAssumption.Updater extends Object
Constructor and Description |
---|
Updater(LivenessAssumption assumption) |
Modifier and Type | Method and Description |
---|---|
void |
kill(JVariable target) |
LivenessAssumption |
unwrap() |
void |
use(JVariable target) |
public Updater(LivenessAssumption assumption)
public void kill(JVariable target)
public LivenessAssumption unwrap()
public void use(JVariable target)
Copyright © 2018. All rights reserved.