syntactic

package
v0.0.3-alpha Latest Latest
Warning

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

 Go to latest Published: Nov 8, 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,
	// contains filtered or unexported fields
}
View Source 
var VulcanReducerFunctions = Functions{
	BuildReductionCommand: buildVulcanReductionCommand,
	GetOutputFilename: func(inputFilePath string) string {
		return files.AddFolderToFilePath(inputFilePath, "perses_result")
	},
	Init: initialisePerses,
	// contains filtered or unexported fields
}

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
	// contains filtered or unexported fields
}

func (Functions) String 

func (f Functions) String() string

type GetOutputFilename 

type GetOutputFilename func(inputFilePath string) string

type InitSyntacticReducer 

type InitSyntacticReducer func(language string) error

type Reducer 

type Reducer int
const (
	Perses Reducer = iota
	Vulcan
)

func (Reducer) Name 

func (r Reducer) Name() string

Source Files

View all Source files

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL
go.dev uses cookies from Google to deliver and enhance the quality of its services and to analyze traffic. Learn more.