public class ProofTreePopupFactory
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
ProofTreePopupFactory.ProofTreeAction |
Modifier and Type | Field and Description |
---|---|
static int |
ICON_SIZE |
Modifier | Constructor and Description |
---|---|
protected |
ProofTreePopupFactory() |
Modifier and Type | Method and Description |
---|---|
void |
add(java.util.function.Function<de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext,java.awt.Component> act) |
void |
addAction(java.util.function.Function<de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext,javax.swing.Action> act) |
javax.swing.JPopupMenu |
create(ProofTreeView view,
javax.swing.tree.TreePath selectedPath) |
static de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext |
createContext(ProofTreeView view,
javax.swing.tree.TreePath selectedPath) |
public static final int ICON_SIZE
public static de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext createContext(ProofTreeView view, javax.swing.tree.TreePath selectedPath)
public void add(java.util.function.Function<de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext,java.awt.Component> act)
public void addAction(java.util.function.Function<de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext,javax.swing.Action> act)
public javax.swing.JPopupMenu create(ProofTreeView view, javax.swing.tree.TreePath selectedPath)
Copyright © 2003-2019 The KeY-Project.