public class AddPRResourceCustomiser extends Object implements ResourceCustomiser
SerialController
by
adding an extra PR. By default the PR is added to the end of the
controller's PR list, but can optionally be added at a specific
index, or before or after another named PR.Constructor and Description |
---|
AddPRResourceCustomiser() |
Modifier and Type | Method and Description |
---|---|
void |
customiseResource(gate.Resource res) |
void |
setAddAfter(String addAfter) |
void |
setAddBefore(String addBefore) |
void |
setIndex(int index) |
void |
setPr(gate.ProcessingResource pr) |
public void customiseResource(gate.Resource res) throws Exception
customiseResource
in interface ResourceCustomiser
Exception
public void setIndex(int index)
public void setAddBefore(String addBefore)
public void setAddAfter(String addAfter)
public void setPr(gate.ProcessingResource pr)
Copyright © 2023 GATE. All rights reserved.