org.eclipse.ocl.expressions.IntegerLiteralExp Maven / Gradle / Ivy
/**
*
*
* Copyright (c) 2006, 2008 IBM Corporation, Zeligsoft Inc., and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM - Initial API and implementation
* Zeligsoft - Bug 207365
*
*
*
* $Id: IntegerLiteralExp.java,v 1.7 2009/12/22 18:53:30 ewillink Exp $
*/
package org.eclipse.ocl.expressions;
import java.util.Map;
import org.eclipse.emf.common.util.DiagnosticChain;
/**
*
* A representation of the model object 'Integer Literal Exp'.
*
*
*
* The following features are supported:
*
* - {@link org.eclipse.ocl.expressions.IntegerLiteralExp#getIntegerSymbol Integer Symbol}
*
*
*
* @see org.eclipse.ocl.expressions.ExpressionsPackage#getIntegerLiteralExp()
* @model
* @generated
*/
public interface IntegerLiteralExp
extends NumericLiteralExp {
/**
* Returns the value of the 'Integer Symbol' attribute.
*
*
* If the meaning of the 'Integer Symbol' attribute isn't clear,
* there really should be more of a description here...
*
*
* @return the value of the 'Integer Symbol' attribute.
* @see #setIntegerSymbol(Integer)
* @see org.eclipse.ocl.expressions.ExpressionsPackage#getIntegerLiteralExp_IntegerSymbol()
* @model
* @generated
*/
Integer getIntegerSymbol();
/**
* Sets the value of the '{@link org.eclipse.ocl.expressions.IntegerLiteralExp#getIntegerSymbol Integer Symbol}' attribute.
*
*
* @param value the new value of the 'Integer Symbol' attribute.
* @see #getIntegerSymbol()
* @generated
*/
void setIntegerSymbol(Integer value);
/**
*
*
*
* self.type.name = 'Integer'
* @param diagnostics The chain of diagnostics to which problems are to be appended.
* @param context The cache of context-specific information.
*
* @model
* @generated
*/
boolean checkIntegerType(DiagnosticChain diagnostics,
Map context);
} // IntegerLiteralExp