org.eclipse.ocl.xtext.base.ui.model

Class BaseCSorASDocumentProvider.UnresolvedProxyDiagnostic

java.lang.Object

org.eclipse.ocl.xtext.base.ui.model.BaseCSorASDocumentProvider.UnresolvedProxyDiagnostic

Enclosing class:

BaseCSorASDocumentProvider

public class BaseCSorASDocumentProvider.UnresolvedProxyDiagnostic
extends Object

Constructor Summary

Constructors

Constructor and Description
UnresolvedProxyDiagnostic(String message)

Method Summary

Modifier and Type	Method and Description
int	getColumn()
int	getLine()
String	getLocation()
String	getMessage()
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UnresolvedProxyDiagnostic

public UnresolvedProxyDiagnostic(String message)

Method Detail

getColumn

public int getColumn()

getLine

public int getLine()

getLocation

public String getLocation()

getMessage

public String getMessage()

toString

public String toString()

Overrides:

toString in class Object