Class PlasmPartitionScanner

  extended byorg.eclipse.jface.text.rules.RuleBasedScanner
      extended byorg.eclipse.jface.text.rules.BufferedRuleBasedScanner
          extended byorg.eclipse.jface.text.rules.RuleBasedPartitionScanner
              extended byit.uniroma3.plasm.editors.PlasmPartitionScanner
All Implemented Interfaces:
org.eclipse.jface.text.rules.ICharacterScanner, org.eclipse.jface.text.rules.IPartitionTokenScanner, org.eclipse.jface.text.rules.ITokenScanner

public class PlasmPartitionScanner
extends org.eclipse.jface.text.rules.RuleBasedPartitionScanner

A document partitioner divides a document into a set of disjoint text partitions. This partitioner defines partition for PLaSM environment. In PLaSM code exist only two type of regions: default and comment

EcT(o)PLaSM Group

Field Summary
static java.lang.String COMMENT
          Begin a list of partition to be used in PLaSM environment
static java.lang.String[] PSM_PARTITION_TYPES
          Contains all PLaSm partition identifiers used to create the partitioner
Fields inherited from interface org.eclipse.jface.text.rules.ICharacterScanner
Constructor Summary
          The constructor of PLaSM partition scanner.
Methods inherited from class org.eclipse.jface.text.rules.RuleBasedPartitionScanner
nextToken, setPartialRange, setPredicateRules, setRange, setRules
Methods inherited from class org.eclipse.jface.text.rules.BufferedRuleBasedScanner
read, unread
Methods inherited from class org.eclipse.jface.text.rules.RuleBasedScanner
getColumn, getLegalLineDelimiters, getTokenLength, getTokenOffset, setDefaultReturnToken
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface org.eclipse.jface.text.rules.ITokenScanner
getTokenLength, getTokenOffset

Field Detail


public static final java.lang.String COMMENT
Begin a list of partition to be used in PLaSM environment

See Also:
Constant Field Values


public static final java.lang.String[] PSM_PARTITION_TYPES
Contains all PLaSm partition identifiers used to create the partitioner

Constructor Detail


public PlasmPartitionScanner()
The constructor of PLaSM partition scanner. It contains all rules used to identify different partitions, till now is used only to identify PLaSM comments and default code