|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HeadContentHandler | |
fr.inria.oadymppac.parsing.gentra4cp.handlers |
Uses of HeadContentHandler in fr.inria.oadymppac.parsing.gentra4cp.handlers |
Methods in fr.inria.oadymppac.parsing.gentra4cp.handlers that return HeadContentHandler | |
HeadContentHandler |
TraceContentHandler.getHeadHandler()
|
HeadContentHandler |
FasterTraceContentHandler.getHeadHandler()
|
Methods in fr.inria.oadymppac.parsing.gentra4cp.handlers with parameters of type HeadContentHandler | |
void |
TraceContentHandler.setHeadHandler(HeadContentHandler headHandler)
|
void |
FasterTraceContentHandler.setHeadHandler(HeadContentHandler headHandler)
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |