Java ASTExpressionList类代码示例

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
private ASTStatement readSimpleCallStatement()
	throws ParserException, LexException
{
	LexNameToken name =
		readNameToken("Expecting operation name in call statement");

	checkFor(Token.BRA, 2206, "Expecting '(' after call operation name");
	ASTExpressionList args = new ASTExpressionList();
	ExpressionReader er = getExpressionReader();

	if (lastToken().isNot(Token.KET))
	{
		args.add(er.readExpression());

		while (ignore(Token.COMMA))
		{
			args.add(er.readExpression());
		}
	}

   	checkFor(Token.KET, 2124, "Expecting ')' after args");

	return new ASTCallStatement(name, args);
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTCallObjectStatement(ASTObjectDesignator designator,
	LexNameToken classname, ASTExpressionList args)
{
	super(designator.location);

	this.designator = designator;
	this.classname = classname;
	this.fieldname = null;
	this.args = args;
	this.explicit = (classname.module != null);
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
private ASTStatement readObjectCallStatement()
throws ParserException, LexException
  {
ASTObjectDesignator designator = readObjectDesignator();

// All operation calls actually look like object apply designators,
// since they end with <name>([args]). So we unpick the apply
// designator to extract the operation name and args.

if (!(designator instanceof ASTObjectApplyDesignator))
{
	throwMessage(2064, "Expecting <object>.identifier(args) or name(args)");
}

ASTObjectApplyDesignator oad = (ASTObjectApplyDesignator)designator;
ASTExpressionList args = oad.args;

if (oad.object instanceof ASTObjectFieldDesignator)
{
	ASTObjectFieldDesignator ofd = (ASTObjectFieldDesignator)oad.object;
	
	if (ofd.classname != null)
	{
   		return new ASTCallObjectStatement(ofd.object, ofd.classname, args);
	}
	else
	{
   		return new ASTCallObjectStatement(ofd.object, ofd.fieldname, args);
	}
}
else if (oad.object instanceof ASTObjectIdentifierDesignator)
{
	ASTObjectIdentifierDesignator oid = (ASTObjectIdentifierDesignator)oad.object;
	return new ASTCallStatement(oid.name, args);
}
else
{
	throwMessage(2065, "Expecting <object>.name(args) or name(args)");
	return null;
}
  }
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
private ASTObjectDesignator readObjectDesignator()
	throws ParserException, LexException
{
	ASTObjectDesignator des = readSimpleObjectDesignator();
	boolean done = false;

	while (!done)
	{
		switch (lastToken().type)
		{
			case POINT:
				LexToken field = nextToken();

				// If we just read a qualified name, we're dealing with
				// something like new A().X`op(), else it's the more usual
				// new A().op().

				switch (field.type)
				{
					case IDENTIFIER:
						des = new ASTObjectFieldDesignator(des, (LexIdentifierToken)field);
						break;

					case NAME:
						des = new ASTObjectFieldDesignator(des, (LexNameToken)field);
						break;

					default:
						throwMessage(2066, "Expecting object field name");
				}

				nextToken();
				break;

			case BRA:
				nextToken();
		    	ExpressionReader er = getExpressionReader();
		    	ASTExpressionList args = new ASTExpressionList();

		    	if (lastToken().isNot(Token.KET))
		    	{
		    		args.add(er.readExpression());

		    		while (ignore(Token.COMMA))
		    		{
		    			args.add(er.readExpression());
		    		}
		    	}

		    	checkFor(Token.KET, 2124, "Expecting ')' after args");
				des = new ASTObjectApplyDesignator(des, args);
				break;

			default:
				done = true;
				break;
		}
	}

	return des;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
private ASTObjectDesignator readSimpleObjectDesignator()
	throws LexException, ParserException
{
	LexToken token = readToken();

	switch (token.type)
	{
		case SELF:
			return new ASTObjectSelfDesignator(token.location);

		case IDENTIFIER:
			return new ASTObjectIdentifierDesignator(idToName((LexIdentifierToken)token));

		case NAME:
			return new ASTObjectIdentifierDesignator((LexNameToken)token);

		case NEW:
			LexIdentifierToken name = readIdToken("Expecting class name after 'new'");
			checkFor(Token.BRA, 2207, "Expecting '(' after new class name");

	    	ASTExpressionList args = new ASTExpressionList();
	    	ExpressionReader er = getExpressionReader();

	    	if (lastToken().isNot(Token.KET))
	    	{
	    		args.add(er.readExpression());

	    		while (ignore(Token.COMMA))
	    		{
	    			args.add(er.readExpression());
	    		}
	    	}

	    	checkFor(Token.KET, 2124, "Expecting ')' after constructor args");
			return new ASTObjectNewDesignator(name, args);

		default:
			throwMessage(2067, "Expecting 'self', 'new' or name in object designator");
			break;
	}

	return null;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTSporadicStatement(LexNameToken opname, ASTExpressionList args)
{
	super(opname.location);
	this.opname = opname;
	this.args = args;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTPeriodicStatement(LexNameToken opname, ASTExpressionList args)
{
	super(opname.location);
	this.opname = opname;
	this.args = args;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTObjectApplyDesignator(ASTObjectDesignator object, ASTExpressionList args)
{
	super(object.location);
	this.object = object;
	this.args = args;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTObjectNewDesignator(LexIdentifierToken classname, ASTExpressionList args)
{
	super(classname.location);
	this.expression = new ASTNewExpression(classname.location, classname, args);
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public ASTCallStatement(LexNameToken name, ASTExpressionList args)
{
	super(name.location);
	this.name = name;
	this.args = args;
}
 

import com.fujitsu.vdmj.ast.expressions.ASTExpressionList; //导入依赖的package包/类
public TCExpressionList(ASTExpressionList from) throws Exception
{
	super(from);
}