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