Java TCNameList.add方法代码示例

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

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入方法依赖的package包/类
@Override
public TCNameList getVariableNames()
{
	TCNameList names = new TCNameList();
	
	for (TCField field: fields)
	{
		names.add(field.tagname);
	}
	
	return names;
}
 

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

	for (TCNameToken vn: superdef.getVariableNames())
	{
		names.add(vn.getModifiedName(name.getModule()));
	}

	return names;
}
 

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 TCNameList getOverloadNames(TCNameToken name)
{
	TCNameList list = new TCNameList();

	for (Entry<TCNameToken, Value> entry: this.entrySet())
	{
		if (entry.getKey().matches(name))		// All overloaded names
		{
			list.add(entry.getKey());
		}
	}

	return list;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入方法依赖的package包/类
@Override
public TCNameList getVariableNames()
{
	TCNameList names = new TCNameList();
	checkSuperDefinition();

	for (TCNameToken vn: superdef.getVariableNames())
	{
		names.add(vn.getModifiedName(name.getModule()));
	}

	return names;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入方法依赖的package包/类
/**
 * Check that the compose types that are referred to in a type have a matching
 * definition in the environment. The method returns a list of types that do not
 * exist if the newTypes parameter is passed. 
 */
public static TCTypeList checkComposeTypes(TCType type, Environment env, boolean newTypes)
{
	TCTypeList undefined = new TCTypeList();
	
	for (TCType compose: type.getComposeTypes())
	{
		TCRecordType composeType = (TCRecordType)compose;
		TCDefinition existing = env.findType(composeType.name, null);
		
		if (existing != null)
		{
			// If the type is already defined, check that it has the same shape and
			// does not have an invariant (which cannot match a compose definition).
			boolean matches = false;
			
			if (existing instanceof TCTypeDefinition)
			{
				TCTypeDefinition edef = (TCTypeDefinition)existing;
				TCType etype = existing.getType();
				
				if (edef.invExpression == null && etype instanceof TCRecordType)
				{
					TCRecordType retype = (TCRecordType)etype;
					
					if (retype.fields.equals(composeType.fields))
					{
						matches = true;
					}
				}
			}
				
			if (!matches)
			{
				TypeChecker.report(3325, "Mismatched compose definitions for " + composeType.name, composeType.location);
				TypeChecker.detail2(composeType.name.getName(), composeType.location, existing.name.getName(), existing.location);
			}
		}
		else
		{
			if (newTypes)
			{
				undefined.add(composeType);
			}
			else
			{
				TypeChecker.report(3113, "Unknown type name '" + composeType.name + "'", composeType.location);
			}
		}
	}
	
	// Lastly, check that the compose types extracted are compatible
	TCNameList done = new TCNameList();
	
	for (TCType c1: undefined)
	{
		for (TCType c2: undefined)
		{
			if (c1 != c2)
			{
				TCRecordType r1 = (TCRecordType)c1;
				TCRecordType r2 = (TCRecordType)c2;
				
				if (r1.name.equals(r2.name) && !done.contains(r1.name) && !r1.fields.equals(r2.fields))
				{
					TypeChecker.report(3325, "Mismatched compose definitions for " + r1.name, r1.location);
					TypeChecker.detail2(r1.name.getName(), r1.location, r2.name.getName(), r2.location);
					done.add(r1.name);
				}
			}
		}
	}
	
	return undefined;
}
 

import com.fujitsu.vdmj.tc.lex.TCNameList; //导入方法依赖的package包/类
/**
 * Check whether the list of definitions passed contains any duplicates,
 * or whether any names in the list hide the same name further down the
 * environment chain.
 *
 * @param list	The list of definitions to check.
 */

protected void dupHideCheck(TCDefinitionList list, NameScope scope)
{
	TCNameList allnames = list.getVariableNames();

	for (TCNameToken n1: allnames)
	{
		TCNameList done = new TCNameList();

		for (TCNameToken n2: allnames)
		{
			if (n1 != n2 && n1.equals(n2) && !done.contains(n1))
			{
				TypeChecker.warning(5007, "Duplicate definition: " + n1, n1.getLocation());
				done.add(n1);
			}
		}

		if (outer != null)
		{
			// We search for any scoped name (ie. the first), but then check
			// the scope matches what we can see. If we pass scope to findName
			// it throws errors if the name does not match the scope.

			TCDefinition def = outer.findName(n1, NameScope.NAMESANDSTATE);

			if (def != null && def.location != n1.getLocation() &&
				def.nameScope.matches(scope))
			{
				// Reduce clutter for names in the same module/class
				String message = null;

				if (def.location.file.equals(n1.getLocation().file))
				{
					message = def.name.getName() + " " + def.location.toShortString() +
						" hidden by " +	n1.toString();
				}
				else
				{
					message = def.name.getName() + " " + def.location +
						" hidden by " + n1.toString();
				}

				TypeChecker.warning(5008, message, n1.getLocation());
			}
		}
	}
}