Java TCNameList类代码示例

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
/**
 * Create a class definition with the given name, list of superclass names,
 * and list of local definitions.
 * @param className
 * @param supernames
 * @param definitions
 */
public TCClassDefinition(TCNameToken className, TCNameList supernames, TCDefinitionList definitions)
{
	super(Pass.DEFS, className.getLocation(), className, NameScope.CLASSNAME);

	this.supernames = supernames;
	this.definitions = definitions;

	this.used = true;
	this.superdefs = new TCClassList();
	this.supertypes = new TCTypeList();
	this.superInheritedDefinitions = new TCDefinitionList();
	this.localInheritedDefinitions = new TCDefinitionList();
	this.allInheritedDefinitions = new TCDefinitionList();

	// Classes are all effectively public types
	this.setAccessSpecifier(new TCAccessSpecifier(false, false, Token.PUBLIC, false));
	this.definitions.setClassDefinition(this);
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
public TCExplicitFunctionDefinition(TCAccessSpecifier accessSpecifier, TCNameToken name,
	TCNameList typeParams, TCFunctionType type,
	TCPatternListList parameters, TCExpression body,
	TCExpression precondition,
	TCExpression postcondition, boolean typeInvariant, TCNameToken measure)
{
	super(Pass.DEFS, name.getLocation(), name, NameScope.GLOBAL);

	this.accessSpecifier = accessSpecifier;
	this.typeParams = typeParams;
	this.type = type;
	this.paramPatternList = parameters;
	this.precondition = precondition;
	this.postcondition = postcondition;
	this.body = body;
	this.isTypeInvariant = typeInvariant;
	this.measure = measure;
	this.isCurried = parameters.size() > 1;

	type.definitions = new TCDefinitionList(this);
	type.instantiated = typeParams == null ? null : false;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
public boolean hasDelegate()
{
	if (!delegateChecked)
	{
		delegateChecked = true;

		try
		{
			String classname = name.replace('_', '.');
			delegateClass = this.getClass().getClassLoader().loadClass(classname);
			delegateMethods = new HashMap<String, Method>();
			delegateArgs = new HashMap<String, TCNameList>();
		}
		catch (ClassNotFoundException e)
		{
			// Fine
		}
	}

	return (delegateClass != null);
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getAllVariableNames()
{
	TCNameList list = new TCNameList();

	for (TCNamePatternPair npp: fieldlist)
	{
		list.addAll(npp.pattern.getAllVariableNames());
	}

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getAllVariableNames()
{
	TCNameList list = new TCNameList();

	list.addAll(left.getAllVariableNames());
	list.addAll(right.getAllVariableNames());

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getAllVariableNames()
{
	TCNameList list = new TCNameList();

	for (INMapletPattern p: maplets)
	{
		list.addAll(p.getAllVariableNames());
	}

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
public TCNameList getAllVariableNames()
{
	TCNameList list = new TCNameList();

	list.addAll(from.getAllVariableNames());
	list.addAll(to.getAllVariableNames());

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getVariableNames()
{
	TCNameList both = new TCNameList(name);
	both.add(def.name);
	return both;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
public boolean isConstrained()
{
	TCNameList names = new TCNameList();

	for (INPattern p: this)
	{
		if (p.isConstrained()) return true;		// NB. OR		
		names.addAll(p.getAllVariableNames());
	}

	return names.hasDuplicates();	// No duplicates => not constrained
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
/**
 * Get a set of names for the pattern's variables. Note that if the
 * pattern includes duplicate variable names, these are collapse into one.
 */
public final TCNameList getVariableNames()
{
	TCNameSet set = new TCNameSet();
	set.addAll(getAllVariableNames());
	TCNameList list = new TCNameList();
	list.addAll(set);
	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getAllVariableNames()
{
	TCNameList list = new TCNameList();

	for (TCPattern p: plist)
	{
		list.addAll(p.getAllVariableNames());
	}

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public ProofObligationList getProofObligations(POContextStack ctxt)
{
	ctxt.push(new PONameContext(new TCNameList(opname)));
	ProofObligationList list = guard.getProofObligations(ctxt);
	ctxt.pop();
	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
public TCNameList getOldNames()
{
	TCNameList list = new TCNameList();

	for (INExpression exp: this)
	{
		list.addAll(exp.getOldNames());
	}

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getOldNames()
{
	TCNameList list = seq.getOldNames();
	list.addAll(from.getOldNames());
	list.addAll(to.getOldNames());
	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入依赖的package包/类
@Override
public TCNameList getOldNames()
{
	TCNameList list = elseIfExp.getOldNames();
	list.addAll(thenExp.getOldNames());
	return list;
}