01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.jdt.internal.corext.refactoring.typeconstraints;
11:
12: public interface ITypeConstraint {
13: /**
14: * Returns the resolved representation of the constraint.
15: * For example, if <code>toString</code> returns "[a] <= [b]" and types of 'a' and 'b' are A and B,
16: * repespectively, then this method returns "A <= B".
17: *
18: * This method is provided for debugging purposes only.
19: */
20: public abstract String toResolvedString();
21:
22: /**
23: * Returns whether this is a simple constraint. If so, it can be safely downcast to
24: * <code>SimpleTypeConstraint</code>.
25: */
26: public boolean isSimpleTypeConstraint();
27: }
|