Dresden OCL Toolkit

tudresden.ocl.check.types.testfacade
Class TestSFeature

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

class TestSFeature
extends TestFeature


Field Summary
(package private)  String name
           
(package private)  Type type
           
 
Constructor Summary
TestSFeature(String n, Type t)
           
 
Method Summary
 String getName()
           
 Type getType()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

String name

type

Type type
Constructor Detail

TestSFeature

public TestSFeature(String n,
                    Type t)
Method Detail

getName

public String getName()

getType

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

Dresden OCL Toolkit

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