All Classes and Interfaces
Classes
Class
Description
Utility class to ease Class2MC usage in Tests.
offers one Symbol-Infrastructure
including Scopes etc.
creates default variables for type check tests,
structure of this class is analoge to
DefsTypesForTests,
each variable represents one type in DefsTypesForTests
(as far as applicable, e.g., one cannot create a variable of the null-type).