Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'othersrc/OTRE/src/org/objectteams/WrongRoleException.java')
-rw-r--r--othersrc/OTRE/src/org/objectteams/WrongRoleException.java57
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;
- }
-}

Back to the top