org.eclipse.xtext.ui.editor.formatting
Class PreferenceStoreIndentationInformation

java.lang.Object
  extended by org.eclipse.xtext.ui.editor.formatting.PreferenceStoreIndentationInformation
All Implemented Interfaces:
java.util.EventListener, org.eclipse.jface.util.IPropertyChangeListener, IIndentationInformation

public class PreferenceStoreIndentationInformation
extends java.lang.Object
implements IIndentationInformation, org.eclipse.jface.util.IPropertyChangeListener

Author:
Sven Efftinge - Initial contribution and API, Knut Wannheden

Constructor Summary
PreferenceStoreIndentationInformation()
           
 
Method Summary
 java.lang.String getIndentString()
          returns the string used to indent a line one level
 int getTabWidth()
           
 boolean isSpacesForTab()
           
 void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
          Notification that a property has changed.
 void setPreferenceStoreAccess(IPreferenceStoreAccess storeAccess)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PreferenceStoreIndentationInformation

public PreferenceStoreIndentationInformation()
Method Detail

setPreferenceStoreAccess

@Inject
public void setPreferenceStoreAccess(IPreferenceStoreAccess storeAccess)

getTabWidth

public int getTabWidth()

isSpacesForTab

public boolean isSpacesForTab()

getIndentString

public java.lang.String getIndentString()
Description copied from interface: IIndentationInformation
returns the string used to indent a line one level

Specified by:
getIndentString in interface IIndentationInformation

propertyChange

public void propertyChange(org.eclipse.jface.util.PropertyChangeEvent event)
Description copied from interface: org.eclipse.jface.util.IPropertyChangeListener
Notification that a property has changed.

This method gets called when the observed object fires a property change event.

Specified by:
propertyChange in interface org.eclipse.jface.util.IPropertyChangeListener
Parameters:
event - the property change event object describing which property changed and how