/* $Id: Timeout.java 742162 2009-02-08 20:54:34Z dixson $
*
* Copyright 2007-2008 Cisco Systems Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License"); you may not
* use this file except in compliance with the License. You may obtain a copy
* of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
* WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
* License for the specific language governing permissions and limitations
* under the License.
*/
package etch.compiler.opt;
import etch.compiler.EtchGrammarConstants;
import etch.compiler.ParseException;
import etch.compiler.Token;
import etch.compiler.ast.Message;
import etch.compiler.ast.Name;
import etch.compiler.ast.Opt;
import etch.compiler.ast.Service;
/**
* Option which sets the timeout of a message which is expecting a
* result (that is, a call).
* The timeout is in ms.
*/
public class Timeout extends Opt
{
/**
* Constructs the Timeout.
*
* @param name
* @param args
* @throws ParseException
*/
public Timeout( Name name, Token... args ) throws ParseException
{
super( name.name, name.token.beginLine );
addType( Message.class );
addType( Service.class );
if (args.length != 1)
throw new ParseException( String.format( "args.length != 1" ) );
Token arg = args[0];
if (arg.kind != EtchGrammarConstants.INTEGER)
throw new ParseException( String.format( "Timeout arg should be integer constant: "+arg.image ) );
int v = Integer.parseInt( arg.image );
if (v < 0)
throw new ParseException( String.format( "Timeout arg should be integer constant >= 0: "+arg.image ) );
this.timeout = v;
}
private final int timeout;
/**
* @return the timeout value.
*/
public int timeout()
{
return timeout;
}
@Override
public void dump( String indent )
{
System.out.printf( "%s@Timeout( %d )\n", indent, timeout );
}
@Override
public String toString()
{
return String.format( "@Timeout( %d )", timeout );
}
}