Java Environment.unusedCheck方法代码示例

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bindings);
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);

	if (predicate != null &&
		!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
	{
		predicate.report(3118, "Predicate is not boolean");
	}

	TCType domConstraint = null;
	TCType rngConstraint = null;
	
	if (constraint != null && constraint.isMap(location))
	{
		domConstraint = constraint.getMap().from;
		rngConstraint = constraint.getMap().to;
	}

	maptype = first.typeCheck(local, scope, domConstraint, rngConstraint);	// The map from/to type
	local.unusedCheck();
	return maptype;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(bind.location, bind.getMultipleBindList());
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);
	
	if (bind instanceof TCTypeBind)
	{
		TCTypeBind tb = (TCTypeBind)bind;
		tb.typeResolve(base);
	}

	if (!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
	{
		predicate.report(3088, "Predicate is not boolean");
	}

	local.unusedCheck();
	return checkConstraint(constraint, new TCBooleanType(location));
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bindList);
	def.typeCheck(base, scope);

	Environment local = new FlatCheckedEnvironment(def, base, scope);

	if (!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
	{
		predicate.report(3089, "Predicate is not boolean");
	}

	local.unusedCheck();
	return checkConstraint(constraint, new TCBooleanType(location));
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bind.getMultipleBindList());
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);

	if (suchThat != null &&
		!suchThat.typeCheck(local, null, scope, null).isType(TCBooleanType.class, location))
	{
		report(3117, "Such that clause is not boolean");
	}

	TCType r = value.typeCheck(local, null, scope, constraint);
	local.unusedCheck();
	return r;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, NameScope scope, TCType constraint)
{
	TCType stype = exp.typeCheck(base, null, scope, null);
	Environment local = base;

	if (stype.isSeq(location))
	{
		seqType = stype.getSeq();
		patternBind.typeCheck(base, scope, seqType.seqof);
		TCDefinitionList defs = patternBind.getDefinitions();
		defs.typeCheck(base, scope);
		local = new FlatCheckedEnvironment(defs, base, scope);
	}
	else
	{
		exp.report(3223, "Expecting sequence type after 'in'");
	}

	TCType rt = statement.typeCheck(local, scope, constraint);
	local.unusedCheck();
	return rt;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bind.getMultipleBindList());
	def.typeCheck(base, scope);
	
	// Definitions create by the let statement are not references to state, so they
	// cannot be updated. Therefore we wrap them in a local TCQualifiedDefinition.
	TCDefinitionList qualified = new TCDefinitionList();
	
	for (TCDefinition d: def.getDefinitions())
	{
		qualified.add(new TCQualifiedDefinition(d, NameScope.LOCAL));
	}
	
	Environment local = new FlatCheckedEnvironment(qualified, base, scope);

	if (suchThat != null && !suchThat.typeCheck(local, null, scope, null).isType(TCBooleanType.class, location))
	{
		report(3225, "Such that clause is not boolean");
	}

	TCType r = statement.typeCheck(local, scope, constraint);
	local.unusedCheck();
	return r;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment env, NameScope scope, TCType constraint)
{
	// Each dcl definition is in scope for later definitions...

	Environment local = env;

	for (TCDefinition d: assignmentDefs)
	{
		local = new FlatCheckedEnvironment(d, local, scope);	// cumulative
		d.implicitDefinitions(local);
		d.typeCheck(local, scope);
	}

	// For type checking purposes, the definitions are treated as
	// local variables. At runtime (below) they have to be treated
	// more like (updatable) state.

	TCType r = super.typeCheck(local, scope, constraint);
	local.unusedCheck(env);
	return r;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, NameScope scope, TCType constraint)
{
	setType = set.typeCheck(base, null, scope, null);
	pattern.typeResolve(base);

	if (setType.isSet(location))
	{
		TCSetType st = setType.getSet();
		TCDefinitionList defs = pattern.getDefinitions(st.setof, NameScope.LOCAL);

		Environment local = new FlatCheckedEnvironment(defs, base, scope);
		TCType rt = statement.typeCheck(local, scope, constraint);
		local.unusedCheck();
		return rt;
	}
	else
	{
		report(3219, "For all statement does not contain a set type");
		return new TCUnknownType(location);
	}
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public void typeCheck(Environment base, NameScope scope)
{
	def = new TCMultiBindListDefinition(bind.location, bind.getMultipleBindList());
	def.typeResolve(base);
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);

	if (stexp != null &&
		!stexp.typeCheck(local, null, scope, null).isType(TCBooleanType.class, location))
	{
		TypeChecker.report(3225,
			"Such that clause is not boolean", stexp.location);
	}

	body.typeCheck(local, scope);
	local.unusedCheck();
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment env, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	// Each local definition is in scope for later local definitions...

	Environment local = env;

	for (TCDefinition d: localDefs)
	{
		if (d instanceof TCExplicitFunctionDefinition)
		{
			// Functions' names are in scope in their bodies, whereas
			// simple variable declarations aren't

			local = new FlatCheckedEnvironment(d, local, scope);	// cumulative
			d.implicitDefinitions(local);
			d.typeResolve(local);

			if (env.isVDMPP())
			{
				TCClassDefinition cdef = env.findClassDefinition();
				d.setClassDefinition(cdef);
				d.setAccessSpecifier(d.accessSpecifier.getStatic(true));
			}

			d.typeCheck(local, scope);
		}
		else
		{
			d.implicitDefinitions(local);
			d.typeResolve(local);
			d.typeCheck(local, scope);
			local = new FlatCheckedEnvironment(d, local, scope);	// cumulative
		}
	}

	TCType r = expression.typeCheck(local, null, scope, constraint);
	local.unusedCheck(env);
	return r;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(first.location, bindings);
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);
	TCType elemConstraint = null;
	
	if (constraint != null && constraint.isSet(location))
	{
		elemConstraint = constraint.getSet().setof;
	}

	TCType etype = first.typeCheck(local, null, scope, elemConstraint);

	if (predicate != null)
	{
		if (!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
		{
			predicate.report(3159, "Predicate is not boolean");
		}
	}

	local.unusedCheck();
	setType = new TCSetType(location, etype);
	return setType;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bind.getMultipleBindList());
	def.typeCheck(base, scope);

	if (bind instanceof TCSetBind &&
		(bind.pattern.getVariableNames().size() != 1 || !def.getType().isOrdered(location)))
	{
		report(3155, "List comprehension must define one ordered bind variable");
	}

	Environment local = new FlatCheckedEnvironment(def, base, scope);
	TCType elemConstraint = null;
	
	if (constraint != null && constraint.isSeq(location))
	{
		elemConstraint = constraint.getSeq().seqof;
	}

	TCType etype = first.typeCheck(local, null, scope, elemConstraint);

	if (predicate != null)
	{
		if (!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
		{
			predicate.report(3156, "Predicate is not boolean");
		}
	}

	local.unusedCheck();
	return new TCSeqType(location, etype);
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment base, TCTypeList qualifiers, NameScope scope, TCType constraint)
{
	def = new TCMultiBindListDefinition(location, bindList);
	def.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(def, base, scope);

	if (!predicate.typeCheck(local, null, scope, new TCBooleanType(location)).isType(TCBooleanType.class, location))
	{
		predicate.report(3097, "Predicate is not boolean");
	}

	local.unusedCheck();
	return checkConstraint(constraint, new TCBooleanType(location));
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
@Override
public TCType typeCheck(Environment env, NameScope scope, TCType constraint)
{
	TCType ft = from.typeCheck(env, null, scope, null);
	TCType tt = to.typeCheck(env, null, scope, null);

	if (!ft.isNumeric(location))
	{
		report(3220, "From type is not numeric");
	}

	if (!tt.isNumeric(location))
	{
		report(3221, "To type is not numeric");
	}

	if (by != null)
	{
		TCType bt = by.typeCheck(env, null, scope, null);

		if (!bt.isNumeric(location))
		{
			report(3222, "By type is not numeric");
		}
	}

	TCDefinition vardef = new TCLocalDefinition(var.getLocation(), var, ft);
	Environment local = new FlatCheckedEnvironment(vardef, env, scope);
	TCType rt = statement.typeCheck(local, scope, constraint);
	local.unusedCheck();
	return rt;
}
 

import com.fujitsu.vdmj.typechecker.Environment; //导入方法依赖的package包/类
public void typeCheck(Environment base, NameScope scope, TCType ext, TCType constraint)
{
	patternBind.typeCheck(base, scope, ext);
	TCDefinitionList defs = patternBind.getDefinitions();
	defs.typeCheck(base, scope);
	Environment local = new FlatCheckedEnvironment(defs, base, scope);
	statement.typeCheck(local, scope, constraint);
	local.unusedCheck();
}