tudresden.ocl.check.types.testfacade
Class TestBFeature
java.lang.Object
tudresden.ocl.check.types.testfacade.TestFeature
tudresden.ocl.check.types.testfacade.TestBFeature
- class TestBFeature
- extends TestFeature
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
name
String name
params
Type[] params
ret
Type ret
TestBFeature
public TestBFeature(String n,
Type r)
TestBFeature
public TestBFeature(String n,
Type r,
Type p)
TestBFeature
public TestBFeature(String n,
Type r,
Type[] ps)
getName
public String getName()
getType
public Type getType()
- Specified by:
getType
in class TestFeature
isQuery
public boolean isQuery()
getParameters
public Type[] getParameters()
Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.