Package | Description |
---|---|
de.uka.ilkd.key.testgen |
Constructor and Description |
---|
Assignment(RefEx left,
java.lang.String right)
The argument left of type RefEx must contains all needed information to invoke a setter method.
|
Copyright © 2003-2019 The KeY-Project.