Module Tools.Splitter

This is an undocumented module

Imports

• import Data.Bits as Bits
• import Compiler.common.CompilerOptions as CompilerOptions
• import Compiler.enums.Flags as Compilerflags
• import Compiler.common.Errors as E
• import Compiler.types.Expression as Expression
• import Compiler.types.Global as G
• import Data.Graph as Graph
• import Compiler.types.ImportDetails as ImportDetails
• import Data.TreeMap as L
• import Data.List as List
• import Compiler.Main as Main
• import Compiler.classes.Nice as Nice
• import Lib.PP as PP
• import Compiler.types.Patterns as Patterns
• import Compiler.types.Positions as Positions
• import frege.Prelude as Prelude
• import Prelude.PreludeArrays as PreludeArrays
• import Prelude.PreludeBase as PreludeBase
• import Prelude.PreludeDecimal as PreludeDecimal
• import Prelude.PreludeIO as PreludeIO
• import Prelude.PreludeList as PreludeList
• import Prelude.PreludeMonad as PreludeMonad
• import Prelude.PreludeText as PreludeText
• import Java.lang.Processes as Processes
• import Compiler.types.QNames as QNames
• import Java.util.Regex as Regexp
• import Compiler.types.SourceDefinitions as SourceDefinitions
• import Compiler.common.SymbolTable as SymbolTable
• import Compiler.types.Symbols as Symbols
• import Compiler.enums.TokenID as TokenID
• import Compiler.types.Tokens as Tokens
• import Compiler.types.Types as Types

Table of Content

• Definitions

  usage ∷ IO ()

  main ∷ [String] → IO ()

  ideoff ∷ StIO (String, Int)

  ours ∷ Global → [Symbol]

  ascending ∷ Global → [Symbol]

  split ∷ [String] → StIO (String, Int)

  printMods ∷ Global → String → Maybe String → [QName] → [QName] → [Symbol] → IO ()

  targetPath ∷ Global → String → String → String

  newMod ∷ Global → String → STMutable RealWorld PrintWriter

  appMod ∷ Global → String → STMutable RealWorld PrintWriter

  printHeader ∷ MutableIO PrintWriter → String → IO ()

  printImports ∷ Global → MutableIO PrintWriter → IO ()

  printImpDcl ∷ Global → MutableIO PrintWriter → DefinitionS → IO ()

  dotDep ∷ MutableIO PrintWriter → Global → TreeMap QName [QName] → [QName] → IO ()

  dotkeys ∷ [String]

  printDep ∷ (Nice 𝖇, Ord 𝖆, Eq 𝖇, Nice 𝖆) ⇒ Global → TreeMap 𝖆 [𝖇] → [𝖆] → IO ()

  printRange ∷ Global → Symbol → IO ()

  fullRange ∷ Symbol → Maybe Symbol → StIO Position

  dclintro ∷ [TokenID]

  indexIn ∷ (ArrayElement 𝖆, Eq 𝖆) ⇒ 𝖆 → JArray 𝖆 → Maybe Int

  makeRanges ∷ [Symbol] → StIO ()

  symDep ∷ Global → Symbol → TreeSet QName

  nameDep ∷ Global → TreeSet QName → QName → TreeSet QName

  exprDep ∷ Global → ExprT → TreeSet QName

  sigmaDep ∷ Global → Sigma → TreeSet QName

  rhoDep ∷ Global → TreeSet QName → Rho → TreeSet QName

  ctxDep ∷ Global → TreeSet QName → Context → TreeSet QName

  tauDep ∷ Global → TreeSet QName → Tau → TreeSet QName

• Functions and Values by Type

Definitions

usage ∷ IO ()

main ∷ [String] → IO ()

ideoff ∷ StIO (String, Int)

ours ∷ Global → [Symbol]

ascending ∷ Global → [Symbol]

split ∷ [String] → StIO (String, Int)

printMods ∷ Global → String → Maybe String → [QName] → [QName] → [Symbol] → IO ()

targetPath ∷ Global → String → String → String

make filename from package name x.y.z.Packet => dest/x/y/z/Packet.suffix

newMod ∷ Global → String → STMutable RealWorld PrintWriter

Create a new package and return a PrintWriter for it.

appMod ∷ Global → String → STMutable RealWorld PrintWriter

printHeader ∷ MutableIO PrintWriter → String → IO ()

printImports ∷ Global → MutableIO PrintWriter → IO ()

printImpDcl ∷ Global → MutableIO PrintWriter → DefinitionS → IO ()

dotDep ∷ MutableIO PrintWriter → Global → TreeMap QName [QName] → [QName] → IO ()

dotkeys ∷ [String]

items dot doesn't like as bare word

printDep ∷ (Nice 𝖇, Ord 𝖆, Eq 𝖇, Nice 𝖆) ⇒ Global → TreeMap 𝖆 [𝖇] → [𝖆] → IO ()

printRange ∷ Global → Symbol → IO ()

fullRange ∷ Symbol → Maybe Symbol → StIO Position

The full range goes from the lower range to the upper range, inclusive.

The lower range is determined by going from the original position backwards as long as there are comments or documentation.

The upper range is the last non comment or documentation token before the next definition in the ascending list of definitions, or, if there is no next, the last token in the file.

dclintro ∷ [TokenID]

indexIn ∷ (ArrayElement 𝖆, Eq 𝖆) ⇒ 𝖆 → JArray 𝖆 → Maybe Int

find the index of a given token

makeRanges ∷ [Symbol] → StIO ()

Update symbol positions with their full range computed by fullRange.

symDep ∷ Global → Symbol → TreeSet QName

nameDep ∷ Global → TreeSet QName → QName → TreeSet QName

exprDep ∷ Global → ExprT → TreeSet QName

sigmaDep ∷ Global → Sigma → TreeSet QName

rhoDep ∷ Global → TreeSet QName → Rho → TreeSet QName

ctxDep ∷ Global → TreeSet QName → Context → TreeSet QName

tauDep ∷ Global → TreeSet QName → Tau → TreeSet QName

Functions and Values by Type

MutableIO PrintWriter → String → IO ()

printHeader

MutableIO PrintWriter → Global → TreeMap QName [QName] → [QName] → IO ()

dotDep

Symbol → Maybe Symbol → StIO Position

fullRange

[Symbol] → StIO ()

makeRanges

[String] → StIO (String, Int)

split

[String] → IO ()

main

Global → TreeSet QName → Context → TreeSet QName

ctxDep

Global → TreeSet QName → Rho → TreeSet QName

rhoDep

Global → TreeSet QName → Tau → TreeSet QName

tauDep

Global → TreeSet QName → QName → TreeSet QName

nameDep

Global → MutableIO PrintWriter → DefinitionS → IO ()

printImpDcl

Global → MutableIO PrintWriter → IO ()

printImports

Global → Symbol → TreeSet QName

symDep

Global → Symbol → IO ()

printRange

Global → Sigma → TreeSet QName

sigmaDep

Global → String → Maybe String → [QName] → [QName] → [Symbol] → IO ()

printMods

Global → String → String → String

targetPath

Global → String → STMutable RealWorld PrintWriter

appMod, newMod

Global → ExprT → TreeSet QName

exprDep

Global → [Symbol]

ascending, ours

StIO (String, Int)

ideoff

IO ()

usage

[String]

dotkeys

[TokenID]

dclintro

(ArrayElement 𝖆, Eq 𝖆) ⇒ 𝖆 → JArray 𝖆 → Maybe Int

indexIn

(Nice 𝖇, Ord 𝖆, Eq 𝖇, Nice 𝖆) ⇒ Global → TreeMap 𝖆 [𝖇] → [𝖆] → IO ()

printDep