Dresden OCL Toolkit

tudresden.ocl.check.types.testfacade
Class TestBFeature

java.lang.Object
  extended bytudresden.ocl.check.types.testfacade.TestFeature
      extended bytudresden.ocl.check.types.testfacade.TestBFeature

class TestBFeature
extends TestFeature


Field Summary
(package private)  String name
           
(package private)  Type[] params
           
(package private)  Type ret
           
 
Constructor Summary
TestBFeature(String n, Type r)
           
TestBFeature(String n, Type r, Type p)
           
TestBFeature(String n, Type r, Type[] ps)
           
 
Method Summary
 String getName()
           
 Type[] getParameters()
           
 Type getType()
           
 boolean isQuery()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

String name

params

Type[] params

ret

Type ret
Constructor Detail

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)
Method Detail

getName

public String getName()

getType

public Type getType()
Specified by:
getType in class TestFeature

isQuery

public boolean isQuery()

getParameters

public Type[] getParameters()

Dresden OCL Toolkit

Submit a bug
Developed at the Dresden University of Technology.
This software is published under the GNU Lesser General Public License.