org.eclipse.ocl.expressions.operations.IntegerLiteralExpOperations Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of ocl Show documentation

OCL (Object Constraint Language) Parser and Interpreter

There is a newer version: 3.4.0-v20140524-1358

/**
 * 
 * 
 * Copyright (c) 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: IntegerLiteralExpOperations.java,v 1.3 2008/10/12 01:09:49 cdamus Exp $
 */
package org.eclipse.ocl.expressions.operations;

import java.util.Map;

import org.eclipse.emf.common.util.BasicDiagnostic;
import org.eclipse.emf.common.util.Diagnostic;
import org.eclipse.emf.common.util.DiagnosticChain;

import org.eclipse.ocl.Environment;
import org.eclipse.ocl.expressions.IntegerLiteralExp;

import org.eclipse.ocl.expressions.util.ExpressionsValidator;
import org.eclipse.ocl.internal.l10n.OCLMessages;
import org.eclipse.ocl.util.OCLUtil;

/**
 * 
 * A static utility class that provides operations related to 'Integer Literal Exp' model objects.
 * 
 *
 * 
 * The following operations are supported:
 * 

 *   {@link org.eclipse.ocl.expressions.IntegerLiteralExp#checkIntegerType(org.eclipse.emf.common.util.DiagnosticChain, java.util.Map) Check Integer Type}
 * 
 * 
 *
 * @generated
 */
public class IntegerLiteralExpOperations
		extends OCLExpressionOperations {

	/**
	 * 
	 * 
	 * @generated
	 */
	protected IntegerLiteralExpOperations() {
		super();
	}

	/**
	 * 
	 * 
	 * 
	 * self.type.name = 'Integer'
	 * @param integerLiteralExp The receiving 'Integer Literal Exp' model object.
	 * @param diagnostics The chain of diagnostics to which problems are to be appended.
	 * @param context The cache of context-specific information.
	 * 
	 * @generated NOT
	 */
	public static  boolean checkIntegerType(
			IntegerLiteralExp integerLiteralExp,
			DiagnosticChain diagnostics, Map context) {
		boolean result = true;
		Environment env = OCLUtil
			.getValidationEnvironment(integerLiteralExp, context);

		if (env != null) {
			C type = integerLiteralExp.getType();

			result = (type != null)
				&& ("Integer".equals(env.getUMLReflection().getName(type))); //$NON-NLS-1$
		}

		if (!result) {
			if (diagnostics != null) {
				diagnostics.add(new BasicDiagnostic(Diagnostic.ERROR,
					ExpressionsValidator.DIAGNOSTIC_SOURCE,
					ExpressionsValidator.INTEGER_LITERAL_EXP__INTEGER_TYPE,
					OCLMessages.TypeConformanceIntegerLiteral_ERROR_,
					new Object[]{integerLiteralExp}));
			}
		}

		return result;
	}

} // IntegerLiteralExpOperations