syntactic

package
v0.0.2-alpha Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Oct 4, 2024 License: MIT Imports: 6 Imported by: 0

Documentation

Index

Constants

This section is empty.

Variables

View Source
var PersesReducerFunctions = Functions{
	BuildReductionCommand: buildPersesReductionCommand,
	GetOutputFilename: func(inputFilePath string) string {
		return files.AddFolderToFilePath(inputFilePath, "perses_result")
	},
	Init: initialisePerses,
}

Functions

This section is empty.

Types

type BuildReductionCommandType

type BuildReductionCommandType func(candidate candidate.Candidate, language string) *exec.Cmd

type Functions

type Functions struct {
	BuildReductionCommand BuildReductionCommandType
	GetOutputFilename     GetOutputFilename
	Init                  InitSyntacticReducer
}

type GetOutputFilename

type GetOutputFilename func(inputFilePath string) string

type InitSyntacticReducer

type InitSyntacticReducer func(language string) error

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL