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
MaltChainedException
public void createPropagations(DataFormatInstance dataFormatInstance, SymbolTableHandler tableHandler) throws MaltChainedException
MaltChainedException
public void propagate(Edge e) throws MaltChainedException
MaltChainedException
public PropagationSpecs getPropagationSpecs()
public Propagations getPropagations()
Copyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.