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 ResourceCustomiserExceptionpublic void setParamName(String paramName)
public void setValue(Object value)
public void setPrName(String prName)
Copyright © 2023 GATE. All rights reserved.