|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use KlpGrammarAccess.JumpKindElements | |
---|---|
de.cau.cs.kieler.krep.editors.klp.services |
Uses of KlpGrammarAccess.JumpKindElements in de.cau.cs.kieler.krep.editors.klp.services |
---|
Methods in de.cau.cs.kieler.krep.editors.klp.services that return KlpGrammarAccess.JumpKindElements | |
---|---|
KlpGrammarAccess.JumpKindElements |
KlpGrammarAccess.getJumpKindAccess()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |