Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution |
Modifier and Type | Method and Description |
---|---|
protected ExecutionNodeReader.KeYlessValue |
ExecutionNodeReader.createValue(IExecutionVariable parentVariable,
java.lang.String uri,
java.lang.String localName,
java.lang.String qName,
org.xml.sax.Attributes attributes)
Creates a new
IExecutionValue with the given content. |
Copyright © 2003-2019 The KeY-Project.