diff options
Diffstat (limited to 'othersrc/OTRE/src/org/objectteams/WrongRoleException.java')
-rw-r--r-- | othersrc/OTRE/src/org/objectteams/WrongRoleException.java | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/othersrc/OTRE/src/org/objectteams/WrongRoleException.java b/othersrc/OTRE/src/org/objectteams/WrongRoleException.java deleted file mode 100644 index ed76541e3..000000000 --- a/othersrc/OTRE/src/org/objectteams/WrongRoleException.java +++ /dev/null @@ -1,57 +0,0 @@ -/********************************************************************** - * This file is part of the "Object Teams Runtime Environment" - * - * Copyright 2003-2009 Berlin Institute of Technology, Germany. - * - * 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 - * $Id: WrongRoleException.java 23408 2010-02-03 18:07:35Z stephan $ - * - * Please visit http://www.objectteams.org for updates and contact. - * - * Contributors: - * Berlin Institute of Technology - Initial API and implementation - **********************************************************************/ -package org.objectteams; - -/** - * This exception is thrown by the OT/J infra structure if a role for a given base object - * was requested during lifting, but a role with an incompatible type was already - * registered for that base object. Can only happen if a compile time warning occurred. - * @author Stephan Herrmann - */ -public class WrongRoleException extends RuntimeException { - /** - * - */ - private static final long serialVersionUID = 1L; - private Class<?> clazz; - private Object base; - private Object role; - - /** - * @param clazz - * @param base - * @param role - */ - public WrongRoleException (Class<?> clazz, Object base, Object role) { - this.clazz = clazz; - this.base = base; - this.role = role; - } - - public String getMessage() { - String baseClazz = base.getClass().getName(); - String roleClazz = role.getClass().getName(); - return "The compiler has warned you about ambiguous role bindings.\n" - + "Now lifting to " + clazz - + " fails with the following objects\n" - + "(see OT/J language definition para. 2.3.4(d)):\n" - + "Provided:\n Base object: " + base + "\n" + " Base type: " - + baseClazz + "\n" - + "Found in cache:\n Role object: " + role + "\n" - + " Role type: " + roleClazz; - } -} |