it.uniroma3.plasm.editors
Class PlasmPartitionScanner

java.lang.Object
  org.eclipse.jface.text.rules.RuleBasedScanner
      org.eclipse.jface.text.rules.BufferedRuleBasedScanner
          org.eclipse.jface.text.rules.RuleBasedPartitionScanner
              it.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

Author:

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

EOF

Constructor Summary

PlasmPartitionScanner()
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

COMMENT

public static final java.lang.String COMMENT

Begin a list of partition to be used in PLaSM environment

See Also:

Constant Field Values

PSM_PARTITION_TYPES

public static final java.lang.String[] PSM_PARTITION_TYPES

Contains all PLaSm partition identifiers used to create the partitioner

Constructor Detail

PlasmPartitionScanner

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