symflower

package

v1.0.6 Latest Latest Go to latest Published: Feb 20, 2025 License: MIT Imports: 11 Imported by: 0

Details

This section is empty.

This section is empty.

This section is empty.

type Model struct {
	// contains filtered or unexported fields
}

Model holds a Symflower model using the locally installed CLI.

func NewModelSmartTemplate() (model *Model)

NewModelSmartTemplate returns a smart template Symflower model.

func NewModelSmartTemplateWithTimeout(timeout time.Duration) (model *Model)

NewModelSmartTemplateWithTimeout returns a smart template Symflower model with a given timeout.

func NewModelSymbolicExecution() (model *Model)

NewModelSymbolicExecution returns a symbolic execution Symflower model.

func NewModelSymbolicExecutionWithTimeout(timeout time.Duration) (model *Model)

NewModelSymbolicExecutionWithTimeout returns a symbolic execution Symflower model with a given timeout.

func (m *Model) Attributes() (attributes map[string]string)

Attributes returns query attributes.

func (m *Model) Clone() (clone model.Model)

Clone returns a copy of the model.

func (m *Model) ID() (id string)

ID returns full identifier, including the provider and attributes.

func (m *Model) MetaInformation() (metaInformation *model.MetaInformation)

MetaInformation returns the meta information of a model.

func (m *Model) ModelID() (modelID string)

ModelID returns the unique identifier of this model with its provider.

func (m *Model) ModelIDWithoutProvider() (modelID string)

ModelIDWithoutProvider returns the unique identifier of this model without its provider.

func (m *Model) SetAttributes(attributes map[string]string)

SetAttributes sets the given attributes.

func (m *Model) WriteTests(ctx model.Context) (assessment metrics.Assessments, err error)

WriteTests generates test files for the given implementation file in a repository.