TPTP 4.1.0 Platform Project
Public API Specification

org.eclipse.tptp.platform.analysis.engine
Interface IMatchLink

All Superinterfaces:
org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
IMatchLinkImpl

public interface IMatchLink
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'IMatch Link'.

The following features are supported:

See Also:
EnginePackage.getIMatchLink()

Method Summary
 int getEndPosition()
          Returns the value of the 'End Position' attribute.
 int getLineNumber()
          Returns the value of the 'Line Number' attribute.
 long getResourceLastModified()
          Returns the value of the 'Resource Last Modified' attribute.
 java.lang.String getResourceName()
          Returns the value of the 'Resource Name' attribute.
 int getStartPosition()
          Returns the value of the 'Start Position' attribute.
 void setEndPosition(int value)
          Sets the value of the 'End Position' attribute.
 void setLineNumber(int value)
          Sets the value of the 'Line Number' attribute.
 void setResourceLastModified(long value)
          Sets the value of the 'Resource Last Modified' attribute.
 void setResourceName(java.lang.String value)
          Sets the value of the 'Resource Name' attribute.
 void setStartPosition(int value)
          Sets the value of the 'Start Position' attribute.
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver
 

Method Detail

getResourceName

public java.lang.String getResourceName()
Returns the value of the 'Resource Name' attribute.

If the meaning of the 'Resource Name' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Resource Name' attribute.
See Also:
setResourceName(String), EnginePackage.getIMatchLink_ResourceName()

setResourceName

public void setResourceName(java.lang.String value)
Sets the value of the 'Resource Name' attribute.

Parameters:
value - the new value of the 'Resource Name' attribute.
See Also:
getResourceName()

getStartPosition

public int getStartPosition()
Returns the value of the 'Start Position' attribute.

If the meaning of the 'Start Position' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Start Position' attribute.
See Also:
setStartPosition(int), EnginePackage.getIMatchLink_StartPosition()

setStartPosition

public void setStartPosition(int value)
Sets the value of the 'Start Position' attribute.

Parameters:
value - the new value of the 'Start Position' attribute.
See Also:
getStartPosition()

getEndPosition

public int getEndPosition()
Returns the value of the 'End Position' attribute.

If the meaning of the 'End Position' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'End Position' attribute.
See Also:
setEndPosition(int), EnginePackage.getIMatchLink_EndPosition()

setEndPosition

public void setEndPosition(int value)
Sets the value of the 'End Position' attribute.

Parameters:
value - the new value of the 'End Position' attribute.
See Also:
getEndPosition()

getLineNumber

public int getLineNumber()
Returns the value of the 'Line Number' attribute.

If the meaning of the 'Line Number' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Line Number' attribute.
See Also:
setLineNumber(int), EnginePackage.getIMatchLink_LineNumber()

setLineNumber

public void setLineNumber(int value)
Sets the value of the 'Line Number' attribute.

Parameters:
value - the new value of the 'Line Number' attribute.
See Also:
getLineNumber()

getResourceLastModified

public long getResourceLastModified()
Returns the value of the 'Resource Last Modified' attribute.

If the meaning of the 'Resource Last Modified' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'Resource Last Modified' attribute.
See Also:
setResourceLastModified(long), EnginePackage.getIMatchLink_ResourceLastModified()

setResourceLastModified

public void setResourceLastModified(long value)
Sets the value of the 'Resource Last Modified' attribute.

Parameters:
value - the new value of the 'Resource Last Modified' attribute.
See Also:
getResourceLastModified()

TPTP 4.1.0 Platform Project
Public API Specification