|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of Work in scphEditor |
---|
Fields in scphEditor declared as Work | |
---|---|
(package private) Work |
ScphEditorPart.proof_content
Reference to the proof content. |
Methods in scphEditor that return Work | |
---|---|
Work |
Loader.getWork()
|
Work |
Workspace.getWork()
|
Constructors in scphEditor with parameters of type Work | |
---|---|
DOMBuilder(Work w)
|
|
Workspace(Work w,
ScphEditorPart p)
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |