Constant Field Values

Contents

• net.sourceforge.*

net.sourceforge.*

net.sourceforge.czt.vcg.util.DefinitionKind

Modifier and Type	Constant Field	Value
public static final int	AXIOM_VALUE	2
public static final int	FREETYPE_VALUE	1
public static final int	GIVENSET_VALUE	0
public static final int	SCHEMABINDING_VALUE	4
public static final int	SCHEMADECL_VALUE	3
public static final int	SCHEMAEXPR_VALUE	5
public static final int	UNKNOWN_VALUE	6

net.sourceforge.czt.vcg.util.DefinitionTable

Modifier and Type	Constant Field	Value
protected static final boolean	DEFTBL_PRINTVISITOR_UNICODE	false

net.sourceforge.czt.vcg.z.AbstractVCG<T,B>

Modifier and Type	Constant Field	Value
protected static final String	ONTHEFLY_SCHEMA_NAME	"OnTheFlySchemaVC$"
protected static final String	ONTHEFLY_ZSECT_NAME	"CZTtmpVCZSect$"

net.sourceforge.czt.vcg.z.VCGPropertyKeys

Modifier and Type	Constant Field	Value
public static final String	PROP_VCG_ADD_TRIVIAL_VC	"vcg_add_trivial_vc"
public static final boolean	PROP_VCG_ADD_TRIVIAL_VC_DEFAULT	true
public static final String	PROP_VCG_APPLY_TRANSFORMERS	"vcg_apply_transformers"
public static final boolean	PROP_VCG_APPLY_TRANSFORMERS_DEFAULT	false
public static final String	PROP_VCG_CHECK_DEFTBL_CONSISTENCY	"vcg_check_deftbl_consistency"
public static final boolean	PROP_VCG_CHECK_DEFTBL_CONSISTENCY_DEFAULT	true
public static final String	PROP_VCG_PARENTS_TO_IGNORE	"vcg_parents_to_ignore"
public static final String	PROP_VCG_PROCESS_PARENTS	"vcg_process_parents"
public static final boolean	PROP_VCG_PROCESS_PARENTS_DEFAULT	true
public static final String	PROP_VCG_RAISE_TYPE_WARNINGS	"vcg_raise_type_warnings"
public static final boolean	PROP_VCG_RAISE_TYPE_WARNINGS_DEFAULT	false
public static final boolean	PROP_VCGU_LATEX_OUTPUT_WRAPPING_DEFAULT	true
public static final String	PROP_VCGU_PREFERRED_OUTPUT_MARKUP	"vcgu_preferred_markup"
public static final String	PROP_VCGU_PRINT_BENCHMARK	"vcgu_print_benchmark"
public static final boolean	PROP_VCGU_PRINT_BENCHMARK_DEFAULT	true

net.sourceforge.czt.vcg.z.dc.DomainCheckPropertyKeys

Modifier and Type	Constant Field	Value
public static final boolean	PROP_VCG_DOMAINCHECK_ADD_TRIVIAL_VC_DEFAULT	false
public static final boolean	PROP_VCG_DOMAINCHECK_APPLY_TRANSFORMERS_DEFAULT	true
public static final boolean	PROP_VCG_DOMAINCHECK_PROCESS_PARENTS_DEFAULT	false
public static final boolean	PROP_VCG_DOMAINCHECK_RAISE_TYPE_WARNINGS_DEFAULT	false
public static final String	PROP_VCG_DOMAINCHECK_USE_INFIX_APPLIESTO	"vcg_dc_use_infix_appliesto"
public static final boolean	PROP_VCG_DOMAINCHECK_USE_INFIX_APPLIESTO_DEFAULT	true
public static final String	VCG_DOMAINCHECK_SOURCENAME_SUFFIX	"_dc"
public static final String	VCG_DOMAINCHECK_TOOLKIT_NAME	"dc_toolkit"
public static final String	VCG_DOMAINCHECK_VCNAME_SUFFIX	"_vc_dc"
public static final String	VCTYPE_DC_DEFAULT	"vc_dc"

net.sourceforge.czt.vcg.z.feasibility.FeasibilityPropertyKeys

Modifier and Type	Constant Field	Value
public static final String	PROP_VCG_FEASIBILITY_ADD_GIVENSET_VCS	"vcg_fsb_add_givenset_vcs"
public static final boolean	PROP_VCG_FEASIBILITY_ADD_GIVENSET_VCS_DEFAULT	true
public static final boolean	PROP_VCG_FEASIBILITY_ADD_TRIVIAL_VC_DEFAULT	false
public static final boolean	PROP_VCG_FEASIBILITY_APPLY_TRANSFORMERS_DEFAULT	true
public static final String	PROP_VCG_FEASIBILITY_CREATE_ZSCHEMAS	"vcg_fsb_create_zschemas"
public static final boolean	PROP_VCG_FEASIBILITY_CREATE_ZSCHEMAS_DEFAULT	false
public static final String	PROP_VCG_FEASIBILITY_PARENTS_TO_IGNORE_DEFAULT	""
public static final boolean	PROP_VCG_FEASIBILITY_PROCESS_PARENTS_DEFAULT	false
public static final boolean	PROP_VCG_FEASIBILITY_RAISE_TYPE_WARNINGS_DEFAULT	false
public static final String	PROP_VCG_FEASIBILITY_ZSTATE_NAME	"vcg_fsb_zstate_name"
public static final String	PROP_VCG_FEASIBILITY_ZSTATE_NAME_DEFAULT	""
public static final String	VCG_FEASIBILITY_SIGSCHEMA_SUFFIX	"FSBSig"
public static final String	VCG_FEASIBILITY_SOURCENAME_SUFFIX	"_fsb"
public static final String	VCG_FEASIBILITY_VCNAME_SUFFIX	"_vc_fsb"

net.sourceforge.czt.vcg.z.refinement.RefinementPropertyKeys

Modifier and Type	Constant Field	Value
public static final boolean	PROP_VCG_REFINEMENT_ADD_GIVENSET_VCS_DEFAULT	true
public static final boolean	PROP_VCG_REFINEMENT_ADD_TRIVIAL_VC_DEFAULT	false
public static final boolean	PROP_VCG_REFINEMENT_APPLY_TRANSFORMERS_DEFAULT	true
public static final String	PROP_VCG_REFINEMENT_CONCRETE_STATE_NAME	"vcg_ref_concrete_state_name"
public static final String	PROP_VCG_REFINEMENT_CONCRETE_STATE_NAME_DEFAULT	""
public static final String	PROP_VCG_REFINEMENT_CREATE_ZSCHEMAS	"vcg_ref_create_zschemas"
public static final boolean	PROP_VCG_REFINEMENT_CREATE_ZSCHEMAS_DEFAULT	true
public static final String	PROP_VCG_REFINEMENT_IO	"vcg_ref_io"
public static final boolean	PROP_VCG_REFINEMENT_IO_DEFAULT	false
public static final String	PROP_VCG_REFINEMENT_KIND	"vcg_ref_kind"
public static final String	PROP_VCG_REFINEMENT_PARENTS_TO_IGNORE_DEFAULT	""
public static final boolean	PROP_VCG_REFINEMENT_PROCESS_PARENTS_DEFAULT	false
public static final boolean	PROP_VCG_REFINEMENT_RAISE_TYPE_WARNINGS_DEFAULT	false
public static final String	PROP_VCG_REFINEMENT_RETRIEVE_NAME	"vcg_ref_retrieve_name"
public static final String	PROP_VCG_REFINEMENT_RETRIEVE_NAME_DEFAULT	""
public static final String	PROP_VCG_REFINEMENT_ZSTATE_NAME_DEFAULT	""
public static final String	VCG_REFINEMENT_SOURCENAME_SUFFIX	"_ref"
public static final String	VCG_REFINEMENT_VCNAME_SUFFIX	"_vc_ref"