edu.wis.jtlv.env.ui.editors.smv
Class SMVCodeScanner

java.lang.Object
  extended by org.eclipse.jface.text.rules.RuleBasedScanner
      extended by edu.wis.jtlv.env.ui.editors.smv.SMVCodeScanner
All Implemented Interfaces:
org.eclipse.jface.text.rules.ICharacterScanner, org.eclipse.jface.text.rules.ITokenScanner

public class SMVCodeScanner
extends org.eclipse.jface.text.rules.RuleBasedScanner


Field Summary
 
Fields inherited from interface org.eclipse.jface.text.rules.ICharacterScanner
EOF
 
Constructor Summary
SMVCodeScanner(SMVColorProvider provider)
           
 
Method Summary
 
Methods inherited from class org.eclipse.jface.text.rules.RuleBasedScanner
getColumn, getLegalLineDelimiters, getTokenLength, getTokenOffset, nextToken, read, setDefaultReturnToken, setRange, setRules, unread
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SMVCodeScanner

public SMVCodeScanner(SMVColorProvider provider)