+++ /dev/null
-/*
- * Created on 28.04.2003
- *
- */
-package net.sourceforge.phpeclipse.phpeditor.php;
-
-import java.util.ArrayList;
-
-import net.sourceforge.phpdt.internal.ui.text.*;
-
-import org.eclipse.jface.text.IDocument;
-
-/**
- * A stack for keeping track of the contenttypes for partitions that
- * contain other partitions.
- *
- * @author Stefan Langer
- * @version $Revision: 1.3 $
- */
-public class PartitionStack
-{
- private ArrayList fPartitionStack = new ArrayList(5);
- private int fStackTop = -1;
-
- /**
- * Pushes the specified contenttype onto the partitionstack.
- * This will keep track of the last partitions read.
- * @param contentType The contenttype to push onto the stack.
- */
- public void pushStack(String contentType)
- {
- if(fStackTop < fPartitionStack.size())
- {
- fPartitionStack.add(++fStackTop, contentType);
- }
- }
- /**
- * Returns the contentype of the last partition on the partition stack.
- * If no partition is currently on the stack this function simply returns
- * the HTML contenttype as default.
- * @return The contenttype of the last partition on stack.
- */
- public String popStack()
- {
- if(fStackTop >= 0)
- {
- return (String)fPartitionStack.get(fStackTop--);
- }
-
- return IPHPPartitions.HTML;
- }
-
- public boolean isEmpty()
- {
- return (fStackTop < 0);
- }
-
- /**
- * Initializes this stack from the specified document for the
- * specified offset.
- * @param offset The offset to initialize from
- * @param fDocument The document to initialize from
- */
- public void initializeStack(int offset, IDocument fDocument)
- {
-
- }
-
-}