CodeFolding.java

// Copyright (c) 2008 by Leif Frenzel - see http://leiffrenzel.de
// This code is made available under the terms of the Eclipse Public License,
// version 1.0 (EPL). See http://www.eclipse.org/legal/epl-v10.html
package net.sf.eclipsefp.haskell.ui.internal.editors.haskell.text;

import java.util.ArrayList;
import java.util.List;
import org.eclipse.core.resources.IContainer;
import org.eclipse.core.resources.IFile;

public class CodeFolding implements ICodeFolding {

  @Override
  public List<ICodeFoldingRegion> performCodeFolding(
      final IContainer srcRoot, final IFile file ) {
    List<ICodeFoldingRegion> result = new ArrayList<>();
    // TODO TtC replace by something not Cohatoe-based
    /*
    String libDir = getGHCLibDir();
    if( libDir != null && new File( libDir ).exists() ) {
      String[] params = new String[] {
          // TODO lf unclear: has this to be the libdir of the GHC we are
          //         running with or the one we are compiling against?
          libDir,
          srcRoot.getLocation().toOSString(),
          file.getLocation().toOSString()
      };
      CohatoeServer server = CohatoeServer.getInstance();
      try {
        String[] retVal = server.evaluate( ICodeFolding.class, params );
        unmarshal( retVal, result );
      } catch( CohatoeException cex ) {
        HaskellUIPlugin.log( cex );
      }
    }
    */

    return result;
  }


  // helping functions
  ////////////////////

  /*private String getGHCLibDir() {
    String result = null;
    ICompilerManager msn = CompilerManager.getInstance();
    IHsImplementation impl = msn.getCurrentHsImplementation();
    if( impl != null ) {
      result = impl.getLibDir();
    }
    return result;
  }

  private void unmarshal( final String[] retVal,
                          final List<ICodeFoldingRegion> result ) {
    if( retVal != null ) {
      int index = 0;
      while( retVal.length > index + 1 ) {
        final int start = readInt( retVal[ index++ ] );
        final int end = readInt( retVal[ index++ ] );
        result.add( new ICodeFoldingRegion() {
          public int getStartLine() {
            return start;
          }
          public int getEndLine() {
            return end;
          }
        } );
      }
    }
  }
*/
 /* private int readInt( final String str ) {
    int result = 0;
    try {
      result = Integer.parseInt( str );
    } catch( final NumberFormatException numfex ) {
      // not a number...
    }
    return result;
  }*/
}