package org.overture.codegen.vdm2java;

public enum JavaCodeGenMode
{
	OO_SPEC, SL_SPEC, EXP;
}