本文整理汇总了Java中com.fujitsu.vdmj.runtime.ClassInterpreter.getClasses方法的典型用法代码示例。如果您正苦于以下问题：Java ClassInterpreter.getClasses方法的具体用法？Java ClassInterpreter.getClasses怎么用？Java ClassInterpreter.getClasses使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类com.fujitsu.vdmj.runtime.ClassInterpreter的用法示例。
在下文中一共展示了ClassInterpreter.getClasses方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: processClasses
import com.fujitsu.vdmj.runtime.ClassInterpreter; //导入方法依赖的package包/类
private void processClasses() throws IOException, DBGPException
{
if (!(interpreter instanceof ClassInterpreter))
{
throw new DBGPException(
DBGPErrorCode.INTERNAL_ERROR, "Not available for VDM-SL");
}
ClassInterpreter cinterpreter = (ClassInterpreter)interpreter;
String def = cinterpreter.getDefaultName();
INClassList classes = cinterpreter.getClasses();
OutputStream out = new ByteArrayOutputStream();
PrintWriter pw = new PrintWriter(out);
for (INClassDefinition cls: classes)
{
if (cls.name.getName().equals(def))
{
pw.println(cls.name.getName() + " (default)");
}
else
{
pw.println(cls.name.getName());
}
}
pw.close();
cdataResponse(out.toString());
}