|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Subscribe | |
---|---|
toolbus.matching |
Uses of Subscribe in toolbus.matching |
---|
Methods in toolbus.matching that return types with arguments of type Subscribe | |
---|---|
java.util.List<Subscribe> |
MatchStore.findPartnerlessSubscribeAtoms()
Gathers a list of partnerless subscribe atoms. |
Methods in toolbus.matching with parameters of type Subscribe | |
---|---|
private void |
MatchStore.addSubscribeNotePattern(Subscribe subscribeNote,
java.util.List<aterm.ATerm> subscribeNotes)
Indexes the given subscribe atom. |
void |
MatchStore.deregisterSubscribeNote(Subscribe subscribeNote)
Deregisters the given, instantiated, subscribe atom. |
void |
MatchStore.registerSubscribeNote(Subscribe subscribeNote)
Registers the given, instantiated, subscribe atom. |
|
The Meta-Environment API | |||||||||
PREV NEXT | FRAMES NO FRAMES |