public class PropagationManager extends java.lang.Object
| Constructor and Description |
|---|
PropagationManager() |
| Modifier and Type | Method and Description |
|---|---|
void |
createPropagations(DataFormatInstance dataFormatInstance,
SymbolTableHandler tableHandler) |
Propagations |
getPropagations() |
PropagationSpecs |
getPropagationSpecs() |
void |
loadSpecification(java.net.URL propagationSpecURL) |
void |
propagate(Edge e) |
public PropagationManager()
public void loadSpecification(java.net.URL propagationSpecURL) throws MaltChainedException
MaltChainedExceptionpublic void createPropagations(DataFormatInstance dataFormatInstance, SymbolTableHandler tableHandler) throws MaltChainedException
MaltChainedExceptionpublic void propagate(Edge e) throws MaltChainedException
MaltChainedExceptionpublic PropagationSpecs getPropagationSpecs()
public Propagations getPropagations()
Copyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.