public class SetParameterResourceCustomiser extends Object implements ResourceCustomiser
Constructor and Description |
---|
SetParameterResourceCustomiser() |
Modifier and Type | Method and Description |
---|---|
void |
customiseResource(gate.Resource res) |
void |
setParamName(String paramName) |
void |
setPrName(String prName) |
void |
setValue(Object value) |
public void customiseResource(gate.Resource res) throws Exception
customiseResource
in interface ResourceCustomiser
Exception
public void setParamName(String paramName)
public void setValue(Object value)
public void setPrName(String prName)
Copyright © 2023 GATE. All rights reserved.