Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.model | |
de.uka.ilkd.key.symbolic_execution.model.impl |
Modifier and Type | Class and Description |
---|---|
static class |
ExecutionNodeReader.KeYLessLink
An implementation of
IExecutionLink which is independent
from KeY and provides such only children and default attributes. |
Modifier and Type | Method and Description |
---|---|
IExecutionLink |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getIncomingLink(IExecutionNode<?> source)
Returns the incoming
IExecutionLink . |
IExecutionLink |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getOutgoingLink(IExecutionNode<?> target)
Returns the outgoing
IExecutionLink . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionLink> |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getIncomingLinks()
Returns all available incoming links.
|
ImmutableList<IExecutionLink> |
ExecutionNodeReader.AbstractKeYlessExecutionNode.getOutgoingLinks()
Returns all available outgoing links.
|
Modifier and Type | Method and Description |
---|---|
void |
ExecutionNodeReader.AbstractKeYlessExecutionNode.addIncomingLink(IExecutionLink link)
Adds the incoming
IExecutionLink . |
void |
ExecutionNodeReader.AbstractKeYlessExecutionNode.addOutgoingLink(IExecutionLink link)
Adds the outgoing
IExecutionLink . |
protected void |
ExecutionNodeWriter.appendOutgoingLink(int level,
IExecutionLink link,
java.lang.StringBuffer sb) |
Modifier and Type | Method and Description |
---|---|
IExecutionLink |
IExecutionNode.getIncomingLink(IExecutionNode<?> source)
Returns the incoming
IExecutionLink . |
IExecutionLink |
IExecutionNode.getOutgoingLink(IExecutionNode<?> target)
Returns the outgoing
IExecutionLink . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionLink> |
IExecutionNode.getIncomingLinks()
Returns all available incoming links.
|
ImmutableList<IExecutionLink> |
IExecutionNode.getOutgoingLinks()
Returns all available outgoing links.
|
Modifier and Type | Class and Description |
---|---|
class |
ExecutionLink
The default implementation of
IExecutionLink . |
Modifier and Type | Method and Description |
---|---|
IExecutionLink |
AbstractExecutionNode.getIncomingLink(IExecutionNode<?> source)
Returns the incoming
IExecutionLink . |
IExecutionLink |
AbstractExecutionNode.getOutgoingLink(IExecutionNode<?> target)
Returns the outgoing
IExecutionLink . |
Modifier and Type | Method and Description |
---|---|
ImmutableList<IExecutionLink> |
AbstractExecutionNode.getIncomingLinks()
Returns all available incoming links.
|
ImmutableList<IExecutionLink> |
AbstractExecutionNode.getOutgoingLinks()
Returns all available outgoing links.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractExecutionNode.addIncomingLink(IExecutionLink link)
Adds the given
IExecutionLink as incoming link. |
void |
AbstractExecutionNode.addOutgoingLink(IExecutionLink link)
Adds the given
IExecutionLink as outgoing link. |
void |
AbstractExecutionNode.removeIncomingLink(IExecutionLink link)
Removes the given
IExecutionLink from the incoming links. |
void |
AbstractExecutionNode.removeOutgoingLink(IExecutionLink link)
Removes the given
IExecutionLink from the outgoing links. |
Copyright © 2003-2019 The KeY-Project.