proto

package
v0.4.1 Latest Latest
Warning

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

 Go to latest Published: Aug 30, 2026 License: Apache-2.0 Imports: 9 Imported by: 0

Documentation

Index

Constants

View Source 
const (
	SysMLService_GetServerInfo_FullMethodName      = "/sysml.SysMLService/GetServerInfo"
	SysMLService_ParseFile_FullMethodName          = "/sysml.SysMLService/ParseFile"
	SysMLService_GetSymbol_FullMethodName          = "/sysml.SysMLService/GetSymbol"
	SysMLService_GetDiagnostics_FullMethodName     = "/sysml.SysMLService/GetDiagnostics"
	SysMLService_Evaluate_FullMethodName           = "/sysml.SysMLService/Evaluate"
	SysMLService_Instantiate_FullMethodName        = "/sysml.SysMLService/Instantiate"
	SysMLService_ExecuteAction_FullMethodName      = "/sysml.SysMLService/ExecuteAction"
	SysMLService_ExecuteState_FullMethodName       = "/sysml.SysMLService/ExecuteState"
	SysMLService_Convert_FullMethodName            = "/sysml.SysMLService/Convert"
	SysMLService_ApplyEdits_FullMethodName         = "/sysml.SysMLService/ApplyEdits"
	SysMLService_VerifyConstraint_FullMethodName   = "/sysml.SysMLService/VerifyConstraint"
	SysMLService_VerifyRequirement_FullMethodName  = "/sysml.SysMLService/VerifyRequirement"
	SysMLService_VerifySatisfaction_FullMethodName = "/sysml.SysMLService/VerifySatisfaction"
	SysMLService_EvaluateCalc_FullMethodName       = "/sysml.SysMLService/EvaluateCalc"
	SysMLService_Query_FullMethodName              = "/sysml.SysMLService/Query"
)

Variables

View Source 
var (
	FailureReason_name = map[int32]string{
		0: "FAILURE_REASON_UNSPECIFIED",
		1: "FAILURE_REASON_EVALUATION",
		2: "FAILURE_REASON_WRONG_KIND",
		3: "FAILURE_REASON_AMBIGUOUS_SUBJECT",
	}
	FailureReason_value = map[string]int32{
		"FAILURE_REASON_UNSPECIFIED":       0,
		"FAILURE_REASON_EVALUATION":        1,
		"FAILURE_REASON_WRONG_KIND":        2,
		"FAILURE_REASON_AMBIGUOUS_SUBJECT": 3,
	}
)

Enum value maps for FailureReason.

View Source 
var (
	EditFailure_name = map[int32]string{
		0:  "EDIT_FAILURE_UNSPECIFIED",
		1:  "EDIT_FAILURE_NO_OPERATIONS",
		2:  "EDIT_FAILURE_UNKNOWN_TARGET",
		3:  "EDIT_FAILURE_AMBIGUOUS_TARGET",
		4:  "EDIT_FAILURE_NOT_VALUED",
		5:  "EDIT_FAILURE_INVALID_VALUE",
		6:  "EDIT_FAILURE_INVALID_NAME",
		7:  "EDIT_FAILURE_NOT_NAMED",
		8:  "EDIT_FAILURE_RENAME_REFERENCED",
		9:  "EDIT_FAILURE_OVERLAPPING_EDITS",
		10: "EDIT_FAILURE_RESULT_INVALID",
		11: "EDIT_FAILURE_OWNER_UNKNOWN",
		12: "EDIT_FAILURE_OWNER_NOT_NAMESPACE",
		13: "EDIT_FAILURE_ILLEGAL_KIND",
		14: "EDIT_FAILURE_MEMBER_NAME_TAKEN",
		15: "EDIT_FAILURE_DELETE_REFERENCED",
	}
	EditFailure_value = map[string]int32{
		"EDIT_FAILURE_UNSPECIFIED":         0,
		"EDIT_FAILURE_NO_OPERATIONS":       1,
		"EDIT_FAILURE_UNKNOWN_TARGET":      2,
		"EDIT_FAILURE_AMBIGUOUS_TARGET":    3,
		"EDIT_FAILURE_NOT_VALUED":          4,
		"EDIT_FAILURE_INVALID_VALUE":       5,
		"EDIT_FAILURE_INVALID_NAME":        6,
		"EDIT_FAILURE_NOT_NAMED":           7,
		"EDIT_FAILURE_RENAME_REFERENCED":   8,
		"EDIT_FAILURE_OVERLAPPING_EDITS":   9,
		"EDIT_FAILURE_RESULT_INVALID":      10,
		"EDIT_FAILURE_OWNER_UNKNOWN":       11,
		"EDIT_FAILURE_OWNER_NOT_NAMESPACE": 12,
		"EDIT_FAILURE_ILLEGAL_KIND":        13,
		"EDIT_FAILURE_MEMBER_NAME_TAKEN":   14,
		"EDIT_FAILURE_DELETE_REFERENCED":   15,
	}
)

Enum value maps for EditFailure.

View Source 
var (
	PrimitiveOperator_name = map[int32]string{
		0: "PRIMITIVE_OPERATOR_UNSPECIFIED",
		1: "PRIMITIVE_OPERATOR_EQUAL",
		2: "PRIMITIVE_OPERATOR_GREATER",
		3: "PRIMITIVE_OPERATOR_LESS",
	}
	PrimitiveOperator_value = map[string]int32{
		"PRIMITIVE_OPERATOR_UNSPECIFIED": 0,
		"PRIMITIVE_OPERATOR_EQUAL":       1,
		"PRIMITIVE_OPERATOR_GREATER":     2,
		"PRIMITIVE_OPERATOR_LESS":        3,
	}
)

Enum value maps for PrimitiveOperator.

View Source 
var (
	CompositeOperator_name = map[int32]string{
		0: "COMPOSITE_OPERATOR_UNSPECIFIED",
		1: "COMPOSITE_OPERATOR_AND",
		2: "COMPOSITE_OPERATOR_OR",
	}
	CompositeOperator_value = map[string]int32{
		"COMPOSITE_OPERATOR_UNSPECIFIED": 0,
		"COMPOSITE_OPERATOR_AND":         1,
		"COMPOSITE_OPERATOR_OR":          2,
	}
)

Enum value maps for CompositeOperator.

View Source 
var File_sysml_proto protoreflect.FileDescriptor
View Source 
var SysMLService_ServiceDesc = grpc.ServiceDesc{
	ServiceName: "sysml.SysMLService",
	HandlerType: (*SysMLServiceServer)(nil),
	Methods: []grpc.MethodDesc{
		{
			MethodName: "GetServerInfo",
			Handler:    _SysMLService_GetServerInfo_Handler,
		},
		{
			MethodName: "ParseFile",
			Handler:    _SysMLService_ParseFile_Handler,
		},
		{
			MethodName: "GetSymbol",
			Handler:    _SysMLService_GetSymbol_Handler,
		},
		{
			MethodName: "GetDiagnostics",
			Handler:    _SysMLService_GetDiagnostics_Handler,
		},
		{
			MethodName: "Evaluate",
			Handler:    _SysMLService_Evaluate_Handler,
		},
		{
			MethodName: "Instantiate",
			Handler:    _SysMLService_Instantiate_Handler,
		},
		{
			MethodName: "ExecuteAction",
			Handler:    _SysMLService_ExecuteAction_Handler,
		},
		{
			MethodName: "ExecuteState",
			Handler:    _SysMLService_ExecuteState_Handler,
		},
		{
			MethodName: "Convert",
			Handler:    _SysMLService_Convert_Handler,
		},
		{
			MethodName: "ApplyEdits",
			Handler:    _SysMLService_ApplyEdits_Handler,
		},
		{
			MethodName: "VerifyConstraint",
			Handler:    _SysMLService_VerifyConstraint_Handler,
		},
		{
			MethodName: "VerifyRequirement",
			Handler:    _SysMLService_VerifyRequirement_Handler,
		},
		{
			MethodName: "VerifySatisfaction",
			Handler:    _SysMLService_VerifySatisfaction_Handler,
		},
		{
			MethodName: "EvaluateCalc",
			Handler:    _SysMLService_EvaluateCalc_Handler,
		},
		{
			MethodName: "Query",
			Handler:    _SysMLService_Query_Handler,
		},
	},
	Streams:  []grpc.StreamDesc{},
	Metadata: "sysml.proto",
}

SysMLService_ServiceDesc is the grpc.ServiceDesc for SysMLService service. It's only intended for direct use with grpc.RegisterService, and not to be introspected or modified (even as a copy)

Functions

func RegisterSysMLServiceServer 

func RegisterSysMLServiceServer(s grpc.ServiceRegistrar, srv SysMLServiceServer)

Types

type AddMemberEdit added in v0.2.0 

type AddMemberEdit struct {

	// Namespace FQN to receive the declaration; empty means the document root.
	Owner string `protobuf:"bytes,1,opt,name=owner,proto3" json:"owner,omitempty"`
	// Written declaration kind, such as "part def" or "class".
	Kind string `protobuf:"bytes,2,opt,name=kind,proto3" json:"kind,omitempty"`
	// Declared identifier.
	Name string `protobuf:"bytes,3,opt,name=name,proto3" json:"name,omitempty"`
	// Optional type target for a usage, written as notation.
	Type string `protobuf:"bytes,4,opt,name=type,proto3" json:"type,omitempty"`
	// Optional multiplicity, including brackets, such as "[0..*]".
	Multiplicity string `protobuf:"bytes,5,opt,name=multiplicity,proto3" json:"multiplicity,omitempty"`
	// Optional value expression, written as notation.
	Value string `protobuf:"bytes,6,opt,name=value,proto3" json:"value,omitempty"`
	// Optional specialization targets for a definition.
	Specializes []string `protobuf:"bytes,7,rep,name=specializes,proto3" json:"specializes,omitempty"`
	// contains filtered or unexported fields
}

AddMemberEdit inserts a declaration into a namespace or the document root.

func (*AddMemberEdit) Descriptor deprecated added in v0.2.0 

func (*AddMemberEdit) Descriptor() ([]byte, []int)

Deprecated: Use AddMemberEdit.ProtoReflect.Descriptor instead.

func (*AddMemberEdit) GetKind added in v0.2.0 

func (x *AddMemberEdit) GetKind() string

func (*AddMemberEdit) GetMultiplicity added in v0.2.0 

func (x *AddMemberEdit) GetMultiplicity() string

func (*AddMemberEdit) GetName added in v0.2.0 

func (x *AddMemberEdit) GetName() string

func (*AddMemberEdit) GetOwner added in v0.2.0 

func (x *AddMemberEdit) GetOwner() string

func (*AddMemberEdit) GetSpecializes added in v0.2.0 

func (x *AddMemberEdit) GetSpecializes() []string

func (*AddMemberEdit) GetType added in v0.2.0 

func (x *AddMemberEdit) GetType() string

func (*AddMemberEdit) GetValue added in v0.2.0 

func (x *AddMemberEdit) GetValue() string

func (*AddMemberEdit) ProtoMessage added in v0.2.0 

func (*AddMemberEdit) ProtoMessage()

func (*AddMemberEdit) ProtoReflect added in v0.2.0 

func (x *AddMemberEdit) ProtoReflect() protoreflect.Message

func (*AddMemberEdit) Reset added in v0.2.0 

func (x *AddMemberEdit) Reset()

func (*AddMemberEdit) String added in v0.2.0 

func (x *AddMemberEdit) String() string

type AppliedEdit 

type AppliedEdit struct {

	// Index of the operation in the request, so an answer maps back to its ask.
	OperationIndex int32  `protobuf:"varint,1,opt,name=operation_index,json=operationIndex,proto3" json:"operation_index,omitempty"`
	Target         string `protobuf:"bytes,2,opt,name=target,proto3" json:"target,omitempty"` // element edited, as the request named it
	// Batch offsets use the original source; sequential offsets use the
	// intermediate source seen by that operation.
	Offset  int32  `protobuf:"varint,3,opt,name=offset,proto3" json:"offset,omitempty"`
	Length  int32  `protobuf:"varint,4,opt,name=length,proto3" json:"length,omitempty"`                 // bytes replaced; zero for text inserted
	OldText string `protobuf:"bytes,5,opt,name=old_text,json=oldText,proto3" json:"old_text,omitempty"` // what was there, empty for an insertion
	NewText string `protobuf:"bytes,6,opt,name=new_text,json=newText,proto3" json:"new_text,omitempty"` // what was written
	// contains filtered or unexported fields
}

AppliedEdit is one byte range of the original source that an operation replaced, so a client can report or locate what changed.

func (*AppliedEdit) Descriptor deprecated 

func (*AppliedEdit) Descriptor() ([]byte, []int)

Deprecated: Use AppliedEdit.ProtoReflect.Descriptor instead.

func (*AppliedEdit) GetLength 

func (x *AppliedEdit) GetLength() int32

func (*AppliedEdit) GetNewText 

func (x *AppliedEdit) GetNewText() string

func (*AppliedEdit) GetOffset 

func (x *AppliedEdit) GetOffset() int32

func (*AppliedEdit) GetOldText 

func (x *AppliedEdit) GetOldText() string

func (*AppliedEdit) GetOperationIndex 

func (x *AppliedEdit) GetOperationIndex() int32

func (*AppliedEdit) GetTarget 

func (x *AppliedEdit) GetTarget() string

func (*AppliedEdit) ProtoMessage 

func (*AppliedEdit) ProtoMessage()

func (*AppliedEdit) ProtoReflect 

func (x *AppliedEdit) ProtoReflect() protoreflect.Message

func (*AppliedEdit) Reset 

func (x *AppliedEdit) Reset()

func (*AppliedEdit) String 

func (x *AppliedEdit) String() string

type ApplyEditsRequest 

type ApplyEditsRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"` // from ParseFile response
	// Edits to apply, all of them or none. Empty is rejected: it names no edit,
	// and answering with the unedited source would look like one was made.
	Operations []*EditOperation `protobuf:"bytes,2,rep,name=operations,proto3" json:"operations,omitempty"`
	// contains filtered or unexported fields
}

ApplyEditsRequest asks for a model's source with edits applied to it. The source edited is the one parse read, named by its hash, so an edit is applied to the model that was inspected.

func (*ApplyEditsRequest) Descriptor deprecated 

func (*ApplyEditsRequest) Descriptor() ([]byte, []int)

Deprecated: Use ApplyEditsRequest.ProtoReflect.Descriptor instead.

func (*ApplyEditsRequest) GetModelHash 

func (x *ApplyEditsRequest) GetModelHash() string

func (*ApplyEditsRequest) GetOperations 

func (x *ApplyEditsRequest) GetOperations() []*EditOperation

func (*ApplyEditsRequest) ProtoMessage 

func (*ApplyEditsRequest) ProtoMessage()

func (*ApplyEditsRequest) ProtoReflect 

func (x *ApplyEditsRequest) ProtoReflect() protoreflect.Message

func (*ApplyEditsRequest) Reset 

func (x *ApplyEditsRequest) Reset()

func (*ApplyEditsRequest) String 

func (x *ApplyEditsRequest) String() string

type ApplyEditsResponse 

type ApplyEditsResponse struct {

	// The edited notation, byte-identical to the source outside the edited spans.
	// Empty when the edits were refused, so a refusal never writes a file.
	Content string `protobuf:"bytes,1,opt,name=content,proto3" json:"content,omitempty"`
	// What each operation changed, in request order.
	Applied []*AppliedEdit `protobuf:"bytes,2,rep,name=applied,proto3" json:"applied,omitempty"`
	Error   string         `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"` // non-empty if the edits were refused; content is unset
	// Which kind of refusal `error` reports, so a client acts on the kind rather
	// than on the message text.
	Failure EditFailure `protobuf:"varint,4,opt,name=failure,proto3,enum=sysml.EditFailure" json:"failure,omitempty"`
	// Diagnostics behind a refusal: the parse errors of an unreadable new value,
	// or the errors the edited source was found to have.
	Diagnostics []*Diagnostic `protobuf:"bytes,5,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// Where the references to a declaration whose rename was refused are made:
	// the FQN of each referring namespace.
	ReferringElements []string `protobuf:"bytes,6,rep,name=referring_elements,json=referringElements,proto3" json:"referring_elements,omitempty"`
	// contains filtered or unexported fields
}

ApplyEditsResponse carries the edited source, or says why nothing was edited.

func (*ApplyEditsResponse) Descriptor deprecated 

func (*ApplyEditsResponse) Descriptor() ([]byte, []int)

Deprecated: Use ApplyEditsResponse.ProtoReflect.Descriptor instead.

func (*ApplyEditsResponse) GetApplied 

func (x *ApplyEditsResponse) GetApplied() []*AppliedEdit

func (*ApplyEditsResponse) GetContent 

func (x *ApplyEditsResponse) GetContent() string

func (*ApplyEditsResponse) GetDiagnostics 

func (x *ApplyEditsResponse) GetDiagnostics() []*Diagnostic

func (*ApplyEditsResponse) GetError 

func (x *ApplyEditsResponse) GetError() string

func (*ApplyEditsResponse) GetFailure 

func (x *ApplyEditsResponse) GetFailure() EditFailure

func (*ApplyEditsResponse) GetReferringElements 

func (x *ApplyEditsResponse) GetReferringElements() []string

func (*ApplyEditsResponse) ProtoMessage 

func (*ApplyEditsResponse) ProtoMessage()

func (*ApplyEditsResponse) ProtoReflect 

func (x *ApplyEditsResponse) ProtoReflect() protoreflect.Message

func (*ApplyEditsResponse) Reset 

func (x *ApplyEditsResponse) Reset()

func (*ApplyEditsResponse) String 

func (x *ApplyEditsResponse) String() string

type AttributeInfo 

type AttributeInfo struct {
	Name  string `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Type  string `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"`
	Value *Value `protobuf:"bytes,3,opt,name=value,proto3" json:"value,omitempty"`
	Unit  string `protobuf:"bytes,4,opt,name=unit,proto3" json:"unit,omitempty"`
	// contains filtered or unexported fields
}

AttributeInfo represents an attribute with its value

func (*AttributeInfo) Descriptor deprecated 

func (*AttributeInfo) Descriptor() ([]byte, []int)

Deprecated: Use AttributeInfo.ProtoReflect.Descriptor instead.

func (*AttributeInfo) GetName 

func (x *AttributeInfo) GetName() string

func (*AttributeInfo) GetType 

func (x *AttributeInfo) GetType() string

func (*AttributeInfo) GetUnit 

func (x *AttributeInfo) GetUnit() string

func (*AttributeInfo) GetValue 

func (x *AttributeInfo) GetValue() *Value

func (*AttributeInfo) ProtoMessage 

func (*AttributeInfo) ProtoMessage()

func (*AttributeInfo) ProtoReflect 

func (x *AttributeInfo) ProtoReflect() protoreflect.Message

func (*AttributeInfo) Reset 

func (x *AttributeInfo) Reset()

func (*AttributeInfo) String 

func (x *AttributeInfo) String() string

type CalcOutput 

type CalcOutput struct {
	Name  string `protobuf:"bytes,1,opt,name=name,proto3" json:"name,omitempty"`
	Value *Value `protobuf:"bytes,2,opt,name=value,proto3" json:"value,omitempty"`
	// contains filtered or unexported fields
}

CalcOutput is one output feature a calc usage computed.

func (*CalcOutput) Descriptor deprecated 

func (*CalcOutput) Descriptor() ([]byte, []int)

Deprecated: Use CalcOutput.ProtoReflect.Descriptor instead.

func (*CalcOutput) GetName 

func (x *CalcOutput) GetName() string

func (*CalcOutput) GetValue 

func (x *CalcOutput) GetValue() *Value

func (*CalcOutput) ProtoMessage 

func (*CalcOutput) ProtoMessage()

func (*CalcOutput) ProtoReflect 

func (x *CalcOutput) ProtoReflect() protoreflect.Message

func (*CalcOutput) Reset 

func (x *CalcOutput) Reset()

func (*CalcOutput) String 

func (x *CalcOutput) String() string

type CompositeConstraint 

type CompositeConstraint struct {
	Operator   CompositeOperator `protobuf:"varint,1,opt,name=operator,proto3,enum=sysml.CompositeOperator" json:"operator,omitempty"`
	Constraint []*Constraint     `protobuf:"bytes,2,rep,name=constraint,proto3" json:"constraint,omitempty"`
	// contains filtered or unexported fields
}

CompositeConstraint combines constraints. An empty constraint list fails the call: it has no defensible verdict.

func (*CompositeConstraint) Descriptor deprecated 

func (*CompositeConstraint) Descriptor() ([]byte, []int)

Deprecated: Use CompositeConstraint.ProtoReflect.Descriptor instead.

func (*CompositeConstraint) GetConstraint 

func (x *CompositeConstraint) GetConstraint() []*Constraint

func (*CompositeConstraint) GetOperator 

func (x *CompositeConstraint) GetOperator() CompositeOperator

func (*CompositeConstraint) ProtoMessage 

func (*CompositeConstraint) ProtoMessage()

func (*CompositeConstraint) ProtoReflect 

func (x *CompositeConstraint) ProtoReflect() protoreflect.Message

func (*CompositeConstraint) Reset 

func (x *CompositeConstraint) Reset()

func (*CompositeConstraint) String 

func (x *CompositeConstraint) String() string

type CompositeOperator 

type CompositeOperator int32

CompositeOperator is the standard's CompositeConstraint.operator. 

const (
	CompositeOperator_COMPOSITE_OPERATOR_UNSPECIFIED CompositeOperator = 0 // unset; fails the call
	CompositeOperator_COMPOSITE_OPERATOR_AND         CompositeOperator = 1 // "and"
	CompositeOperator_COMPOSITE_OPERATOR_OR          CompositeOperator = 2 // "or"
)

func (CompositeOperator) Descriptor 

func (CompositeOperator) Descriptor() protoreflect.EnumDescriptor

func (CompositeOperator) Enum 

func (x CompositeOperator) Enum() *CompositeOperator

func (CompositeOperator) EnumDescriptor deprecated 

func (CompositeOperator) EnumDescriptor() ([]byte, []int)

Deprecated: Use CompositeOperator.Descriptor instead.

func (CompositeOperator) Number 

func (x CompositeOperator) Number() protoreflect.EnumNumber

func (CompositeOperator) String 

func (x CompositeOperator) String() string

func (CompositeOperator) Type 

func (CompositeOperator) Type() protoreflect.EnumType

type Constraint 

type Constraint struct {

	// Types that are valid to be assigned to Constraint:
	//
	//	*Constraint_Primitive
	//	*Constraint_Composite
	Constraint isConstraint_Constraint `protobuf_oneof:"constraint"`
	// contains filtered or unexported fields
}

Constraint is the standard's Constraint, whose `@type` discriminates between its two forms. On the wire the form is the oneof arm, not a type tag.

func (*Constraint) Descriptor deprecated 

func (*Constraint) Descriptor() ([]byte, []int)

Deprecated: Use Constraint.ProtoReflect.Descriptor instead.

func (*Constraint) GetComposite 

func (x *Constraint) GetComposite() *CompositeConstraint

func (*Constraint) GetConstraint 

func (x *Constraint) GetConstraint() isConstraint_Constraint

func (*Constraint) GetPrimitive 

func (x *Constraint) GetPrimitive() *PrimitiveConstraint

func (*Constraint) ProtoMessage 

func (*Constraint) ProtoMessage()

func (*Constraint) ProtoReflect 

func (x *Constraint) ProtoReflect() protoreflect.Message

func (*Constraint) Reset 

func (x *Constraint) Reset()

func (*Constraint) String 

func (x *Constraint) String() string

type Constraint_Composite 

type Constraint_Composite struct {
	Composite *CompositeConstraint `protobuf:"bytes,2,opt,name=composite,proto3,oneof"`
}

type Constraint_Primitive 

type Constraint_Primitive struct {
	Primitive *PrimitiveConstraint `protobuf:"bytes,1,opt,name=primitive,proto3,oneof"`
}

type ConvertRequest 

type ConvertRequest struct {

	// Types that are valid to be assigned to Source:
	//
	//	*ConvertRequest_FilePath
	//	*ConvertRequest_Content
	//	*ConvertRequest_ModelHash
	Source isConvertRequest_Source `protobuf_oneof:"source"`
	// "sysml", "kerml", "text", "ttl", "turtle" or "rdf". Empty infers from
	// file_path's extension, and is notation for a model_hash, since that is what
	// parse reads; inline content has neither, so it must say.
	FromFormat string `protobuf:"bytes,3,opt,name=from_format,json=fromFormat,proto3" json:"from_format,omitempty"`
	// Format to write, named as in from_format. Empty is rejected.
	ToFormat string `protobuf:"bytes,4,opt,name=to_format,json=toFormat,proto3" json:"to_format,omitempty"`
	// Write notation back out even when the parser could not read all of it,
	// reporting its syntax errors as diagnostics. Notation to notation only:
	// every other direction builds a graph, where unreadable declarations would
	// go missing silently.
	TolerateSyntaxErrors bool `protobuf:"varint,5,opt,name=tolerate_syntax_errors,json=tolerateSyntaxErrors,proto3" json:"tolerate_syntax_errors,omitempty"`
	// contains filtered or unexported fields
}

ConvertRequest asks for a model in another representation. A model_hash converts the source that parse read, so a file edited since then does not change the answer; a file_path is read afresh and content is carried inline.

func (*ConvertRequest) Descriptor deprecated 

func (*ConvertRequest) Descriptor() ([]byte, []int)

Deprecated: Use ConvertRequest.ProtoReflect.Descriptor instead.

func (*ConvertRequest) GetContent 

func (x *ConvertRequest) GetContent() string

func (*ConvertRequest) GetFilePath 

func (x *ConvertRequest) GetFilePath() string

func (*ConvertRequest) GetFromFormat 

func (x *ConvertRequest) GetFromFormat() string

func (*ConvertRequest) GetModelHash 

func (x *ConvertRequest) GetModelHash() string

func (*ConvertRequest) GetSource 

func (x *ConvertRequest) GetSource() isConvertRequest_Source

func (*ConvertRequest) GetToFormat 

func (x *ConvertRequest) GetToFormat() string

func (*ConvertRequest) GetTolerateSyntaxErrors 

func (x *ConvertRequest) GetTolerateSyntaxErrors() bool

func (*ConvertRequest) ProtoMessage 

func (*ConvertRequest) ProtoMessage()

func (*ConvertRequest) ProtoReflect 

func (x *ConvertRequest) ProtoReflect() protoreflect.Message

func (*ConvertRequest) Reset 

func (x *ConvertRequest) Reset()

func (*ConvertRequest) String 

func (x *ConvertRequest) String() string

type ConvertRequest_Content 

type ConvertRequest_Content struct {
	Content string `protobuf:"bytes,2,opt,name=content,proto3,oneof"`
}

type ConvertRequest_FilePath 

type ConvertRequest_FilePath struct {
	FilePath string `protobuf:"bytes,1,opt,name=file_path,json=filePath,proto3,oneof"`
}

type ConvertRequest_ModelHash 

type ConvertRequest_ModelHash struct {
	ModelHash string `protobuf:"bytes,6,opt,name=model_hash,json=modelHash,proto3,oneof"`
}

type ConvertResponse 

type ConvertResponse struct {
	Content string `protobuf:"bytes,1,opt,name=content,proto3" json:"content,omitempty"`
	// Formats used, so a caller that let from_format be inferred learns what it
	// was inferred as.
	FromFormat string `protobuf:"bytes,2,opt,name=from_format,json=fromFormat,proto3" json:"from_format,omitempty"`
	ToFormat   string `protobuf:"bytes,3,opt,name=to_format,json=toFormat,proto3" json:"to_format,omitempty"`
	Error      string `protobuf:"bytes,4,opt,name=error,proto3" json:"error,omitempty"` // non-empty if the conversion failed; content is unset
	// Syntax errors tolerated under tolerate_syntax_errors, or those that failed
	// the conversion.
	Diagnostics []*Diagnostic `protobuf:"bytes,5,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// Set when either format is RDF, whose mapping is experimental: it covers
	// model structure and the behavior its bodies state, refuses what it cannot
	// write back, and its vocabulary may change without a compatibility path.
	// Notation to notation is stable and leaves this unset.
	Experimental bool `protobuf:"varint,6,opt,name=experimental,proto3" json:"experimental,omitempty"`
	// What is experimental about the conversion, in the wording every surface
	// reports it in. Empty when experimental is false.
	ExperimentalNotice string `protobuf:"bytes,7,opt,name=experimental_notice,json=experimentalNotice,proto3" json:"experimental_notice,omitempty"`
	// contains filtered or unexported fields
}

ConvertResponse contains the converted model.

func (*ConvertResponse) Descriptor deprecated 

func (*ConvertResponse) Descriptor() ([]byte, []int)

Deprecated: Use ConvertResponse.ProtoReflect.Descriptor instead.

func (*ConvertResponse) GetContent 

func (x *ConvertResponse) GetContent() string

func (*ConvertResponse) GetDiagnostics 

func (x *ConvertResponse) GetDiagnostics() []*Diagnostic

func (*ConvertResponse) GetError 

func (x *ConvertResponse) GetError() string

func (*ConvertResponse) GetExperimental 

func (x *ConvertResponse) GetExperimental() bool

func (*ConvertResponse) GetExperimentalNotice 

func (x *ConvertResponse) GetExperimentalNotice() string

func (*ConvertResponse) GetFromFormat 

func (x *ConvertResponse) GetFromFormat() string

func (*ConvertResponse) GetToFormat 

func (x *ConvertResponse) GetToFormat() string

func (*ConvertResponse) ProtoMessage 

func (*ConvertResponse) ProtoMessage()

func (*ConvertResponse) ProtoReflect 

func (x *ConvertResponse) ProtoReflect() protoreflect.Message

func (*ConvertResponse) Reset 

func (x *ConvertResponse) Reset()

func (*ConvertResponse) String 

func (x *ConvertResponse) String() string

type DeleteEdit added in v0.2.0 

type DeleteEdit struct {

	// Fully qualified name of the declaration to remove.
	Target string `protobuf:"bytes,1,opt,name=target,proto3" json:"target,omitempty"`
	// Also remove declarations that refer to target.
	Cascade bool `protobuf:"varint,2,opt,name=cascade,proto3" json:"cascade,omitempty"`
	// contains filtered or unexported fields
}

DeleteEdit removes a declaration and its owned trivia.

func (*DeleteEdit) Descriptor deprecated added in v0.2.0 

func (*DeleteEdit) Descriptor() ([]byte, []int)

Deprecated: Use DeleteEdit.ProtoReflect.Descriptor instead.

func (*DeleteEdit) GetCascade added in v0.2.0 

func (x *DeleteEdit) GetCascade() bool

func (*DeleteEdit) GetTarget added in v0.2.0 

func (x *DeleteEdit) GetTarget() string

func (*DeleteEdit) ProtoMessage added in v0.2.0 

func (*DeleteEdit) ProtoMessage()

func (*DeleteEdit) ProtoReflect added in v0.2.0 

func (x *DeleteEdit) ProtoReflect() protoreflect.Message

func (*DeleteEdit) Reset added in v0.2.0 

func (x *DeleteEdit) Reset()

func (*DeleteEdit) String added in v0.2.0 

func (x *DeleteEdit) String() string

type Diagnostic 

type Diagnostic struct {
	Severity string `protobuf:"bytes,1,opt,name=severity,proto3" json:"severity,omitempty"` // "error", "warning", "info"
	Message  string `protobuf:"bytes,2,opt,name=message,proto3" json:"message,omitempty"`
	Span     *Span  `protobuf:"bytes,3,opt,name=span,proto3" json:"span,omitempty"`
	// contains filtered or unexported fields
}

Diagnostic represents a parse/semantic error or warning

func (*Diagnostic) Descriptor deprecated 

func (*Diagnostic) Descriptor() ([]byte, []int)

Deprecated: Use Diagnostic.ProtoReflect.Descriptor instead.

func (*Diagnostic) GetMessage 

func (x *Diagnostic) GetMessage() string

func (*Diagnostic) GetSeverity 

func (x *Diagnostic) GetSeverity() string

func (*Diagnostic) GetSpan 

func (x *Diagnostic) GetSpan() *Span

func (*Diagnostic) ProtoMessage 

func (*Diagnostic) ProtoMessage()

func (*Diagnostic) ProtoReflect 

func (x *Diagnostic) ProtoReflect() protoreflect.Message

func (*Diagnostic) Reset 

func (x *Diagnostic) Reset()

func (*Diagnostic) String 

func (x *Diagnostic) String() string

type DiagnosticsRequest 

type DiagnosticsRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	// contains filtered or unexported fields
}

DiagnosticsRequest gets all diagnostics for a model

func (*DiagnosticsRequest) Descriptor deprecated 

func (*DiagnosticsRequest) Descriptor() ([]byte, []int)

Deprecated: Use DiagnosticsRequest.ProtoReflect.Descriptor instead.

func (*DiagnosticsRequest) GetModelHash 

func (x *DiagnosticsRequest) GetModelHash() string

func (*DiagnosticsRequest) ProtoMessage 

func (*DiagnosticsRequest) ProtoMessage()

func (*DiagnosticsRequest) ProtoReflect 

func (x *DiagnosticsRequest) ProtoReflect() protoreflect.Message

func (*DiagnosticsRequest) Reset 

func (x *DiagnosticsRequest) Reset()

func (*DiagnosticsRequest) String 

func (x *DiagnosticsRequest) String() string

type DiagnosticsResponse 

type DiagnosticsResponse struct {
	Diagnostics []*Diagnostic `protobuf:"bytes,1,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	Error       string        `protobuf:"bytes,2,opt,name=error,proto3" json:"error,omitempty"`
	// contains filtered or unexported fields
}

DiagnosticsResponse contains diagnostic list

func (*DiagnosticsResponse) Descriptor deprecated 

func (*DiagnosticsResponse) Descriptor() ([]byte, []int)

Deprecated: Use DiagnosticsResponse.ProtoReflect.Descriptor instead.

func (*DiagnosticsResponse) GetDiagnostics 

func (x *DiagnosticsResponse) GetDiagnostics() []*Diagnostic

func (*DiagnosticsResponse) GetError 

func (x *DiagnosticsResponse) GetError() string

func (*DiagnosticsResponse) ProtoMessage 

func (*DiagnosticsResponse) ProtoMessage()

func (*DiagnosticsResponse) ProtoReflect 

func (x *DiagnosticsResponse) ProtoReflect() protoreflect.Message

func (*DiagnosticsResponse) Reset 

func (x *DiagnosticsResponse) Reset()

func (*DiagnosticsResponse) String 

func (x *DiagnosticsResponse) String() string

type EditFailure 

type EditFailure int32

EditFailure says why edits were refused. Every refusal is one of these: an edit is never silently dropped. 

const (
	EditFailure_EDIT_FAILURE_UNSPECIFIED         EditFailure = 0  // no failure
	EditFailure_EDIT_FAILURE_NO_OPERATIONS       EditFailure = 1  // the request named no edit
	EditFailure_EDIT_FAILURE_UNKNOWN_TARGET      EditFailure = 2  // no element of that name in the model
	EditFailure_EDIT_FAILURE_AMBIGUOUS_TARGET    EditFailure = 3  // the name denotes several declarations
	EditFailure_EDIT_FAILURE_NOT_VALUED          EditFailure = 4  // the element can carry no value
	EditFailure_EDIT_FAILURE_INVALID_VALUE       EditFailure = 5  // the new value does not parse as an expression
	EditFailure_EDIT_FAILURE_INVALID_NAME        EditFailure = 6  // the new name does not lex as an identifier
	EditFailure_EDIT_FAILURE_NOT_NAMED           EditFailure = 7  // the element declares no name to rewrite
	EditFailure_EDIT_FAILURE_RENAME_REFERENCED   EditFailure = 8  // references to the element would break
	EditFailure_EDIT_FAILURE_OVERLAPPING_EDITS   EditFailure = 9  // two edits cover the same bytes
	EditFailure_EDIT_FAILURE_RESULT_INVALID      EditFailure = 10 // the edited source has errors the original had not
	EditFailure_EDIT_FAILURE_OWNER_UNKNOWN       EditFailure = 11 // add-member owner does not exist
	EditFailure_EDIT_FAILURE_OWNER_NOT_NAMESPACE EditFailure = 12 // owner cannot contain members
	EditFailure_EDIT_FAILURE_ILLEGAL_KIND        EditFailure = 13 // kind is invalid for document language
	EditFailure_EDIT_FAILURE_MEMBER_NAME_TAKEN   EditFailure = 14 // owner already declares the name
	EditFailure_EDIT_FAILURE_DELETE_REFERENCED   EditFailure = 15 // delete would leave references
)

func (EditFailure) Descriptor 

func (EditFailure) Descriptor() protoreflect.EnumDescriptor

func (EditFailure) Enum 

func (x EditFailure) Enum() *EditFailure

func (EditFailure) EnumDescriptor deprecated 

func (EditFailure) EnumDescriptor() ([]byte, []int)

Deprecated: Use EditFailure.Descriptor instead.

func (EditFailure) Number 

func (x EditFailure) Number() protoreflect.EnumNumber

func (EditFailure) String 

func (x EditFailure) String() string

func (EditFailure) Type 

func (EditFailure) Type() protoreflect.EnumType

type EditOperation 

type EditOperation struct {

	// Types that are valid to be assigned to Operation:
	//
	//	*EditOperation_SetValue
	//	*EditOperation_Rename
	//	*EditOperation_AddMember
	//	*EditOperation_Delete
	Operation isEditOperation_Operation `protobuf_oneof:"operation"`
	// contains filtered or unexported fields
}

EditOperation is one source-preserving change to make.

func (*EditOperation) Descriptor deprecated 

func (*EditOperation) Descriptor() ([]byte, []int)

Deprecated: Use EditOperation.ProtoReflect.Descriptor instead.

func (*EditOperation) GetAddMember added in v0.2.0 

func (x *EditOperation) GetAddMember() *AddMemberEdit

func (*EditOperation) GetDelete added in v0.2.0 

func (x *EditOperation) GetDelete() *DeleteEdit

func (*EditOperation) GetOperation 

func (x *EditOperation) GetOperation() isEditOperation_Operation

func (*EditOperation) GetRename 

func (x *EditOperation) GetRename() *RenameEdit

func (*EditOperation) GetSetValue 

func (x *EditOperation) GetSetValue() *SetValueEdit

func (*EditOperation) ProtoMessage 

func (*EditOperation) ProtoMessage()

func (*EditOperation) ProtoReflect 

func (x *EditOperation) ProtoReflect() protoreflect.Message

func (*EditOperation) Reset 

func (x *EditOperation) Reset()

func (*EditOperation) String 

func (x *EditOperation) String() string

type EditOperation_AddMember added in v0.2.0 

type EditOperation_AddMember struct {
	AddMember *AddMemberEdit `protobuf:"bytes,3,opt,name=add_member,json=addMember,proto3,oneof"`
}

type EditOperation_Delete added in v0.2.0 

type EditOperation_Delete struct {
	Delete *DeleteEdit `protobuf:"bytes,4,opt,name=delete,proto3,oneof"`
}

type EditOperation_Rename 

type EditOperation_Rename struct {
	Rename *RenameEdit `protobuf:"bytes,2,opt,name=rename,proto3,oneof"`
}

type EditOperation_SetValue 

type EditOperation_SetValue struct {
	SetValue *SetValueEdit `protobuf:"bytes,1,opt,name=set_value,json=setValue,proto3,oneof"`
}

type EnumLiteral 

type EnumLiteral struct {

	// FQN of the literal's declaration ("D::Color::red"). Its identity.
	LiteralId string `protobuf:"bytes,1,opt,name=literal_id,json=literalId,proto3" json:"literal_id,omitempty"`
	// FQN of the enumeration definition declaring it ("D::Color").
	EnumerationId string `protobuf:"bytes,2,opt,name=enumeration_id,json=enumerationId,proto3" json:"enumeration_id,omitempty"`
	// The literal as a reader writes it ("Color::red").
	Name string `protobuf:"bytes,3,opt,name=name,proto3" json:"name,omitempty"`
	// contains filtered or unexported fields
}

EnumLiteral is one literal of an enumeration definition. A literal is its own identity, so it travels as the declaration it names rather than as a number or a string: two values are the same literal exactly when `literal_id` is.

func (*EnumLiteral) Descriptor deprecated 

func (*EnumLiteral) Descriptor() ([]byte, []int)

Deprecated: Use EnumLiteral.ProtoReflect.Descriptor instead.

func (*EnumLiteral) GetEnumerationId 

func (x *EnumLiteral) GetEnumerationId() string

func (*EnumLiteral) GetLiteralId 

func (x *EnumLiteral) GetLiteralId() string

func (*EnumLiteral) GetName 

func (x *EnumLiteral) GetName() string

func (*EnumLiteral) ProtoMessage 

func (*EnumLiteral) ProtoMessage()

func (*EnumLiteral) ProtoReflect 

func (x *EnumLiteral) ProtoReflect() protoreflect.Message

func (*EnumLiteral) Reset 

func (x *EnumLiteral) Reset()

func (*EnumLiteral) String 

func (x *EnumLiteral) String() string

type EvaluateCalcRequest 

type EvaluateCalcRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	// FQN of the calc definition or usage.
	SymbolId string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"`
	// Positional arguments. The notation writes named arguments inside an
	// invocation's parentheses, which this request does not carry.
	Arguments []*Value `protobuf:"bytes,3,rep,name=arguments,proto3" json:"arguments,omitempty"`
	// contains filtered or unexported fields
}

EvaluateCalcRequest invokes a calculation, as %calc does. Arguments are bound positionally; a calc usage named with no arguments binds its inputs from its own members and reports every output feature it computes (SysML 7.17).

func (*EvaluateCalcRequest) Descriptor deprecated 

func (*EvaluateCalcRequest) Descriptor() ([]byte, []int)

Deprecated: Use EvaluateCalcRequest.ProtoReflect.Descriptor instead.

func (*EvaluateCalcRequest) GetArguments 

func (x *EvaluateCalcRequest) GetArguments() []*Value

func (*EvaluateCalcRequest) GetModelHash 

func (x *EvaluateCalcRequest) GetModelHash() string

func (*EvaluateCalcRequest) GetSymbolId 

func (x *EvaluateCalcRequest) GetSymbolId() string

func (*EvaluateCalcRequest) ProtoMessage 

func (*EvaluateCalcRequest) ProtoMessage()

func (*EvaluateCalcRequest) ProtoReflect 

func (x *EvaluateCalcRequest) ProtoReflect() protoreflect.Message

func (*EvaluateCalcRequest) Reset 

func (x *EvaluateCalcRequest) Reset()

func (*EvaluateCalcRequest) String 

func (x *EvaluateCalcRequest) String() string

type EvaluateCalcResponse 

type EvaluateCalcResponse struct {

	// The value an invocation returned; unset when `outputs` carries the answer.
	Result *Value `protobuf:"bytes,1,opt,name=result,proto3" json:"result,omitempty"`
	// Output features of a calc usage evaluated from its own members, in
	// declaration order. Empty for an invocation with arguments.
	Outputs     []*CalcOutput `protobuf:"bytes,2,rep,name=outputs,proto3" json:"outputs,omitempty"`
	Error       string        `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,4,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// What kind of failure `error` reports.
	FailureReason FailureReason `` /* 126-byte string literal not displayed */
	// contains filtered or unexported fields
}

EvaluateCalcResponse carries what the calculation computed.

func (*EvaluateCalcResponse) Descriptor deprecated 

func (*EvaluateCalcResponse) Descriptor() ([]byte, []int)

Deprecated: Use EvaluateCalcResponse.ProtoReflect.Descriptor instead.

func (*EvaluateCalcResponse) GetDiagnostics 

func (x *EvaluateCalcResponse) GetDiagnostics() []*Diagnostic

func (*EvaluateCalcResponse) GetError 

func (x *EvaluateCalcResponse) GetError() string

func (*EvaluateCalcResponse) GetFailureReason 

func (x *EvaluateCalcResponse) GetFailureReason() FailureReason

func (*EvaluateCalcResponse) GetOutputs 

func (x *EvaluateCalcResponse) GetOutputs() []*CalcOutput

func (*EvaluateCalcResponse) GetResult 

func (x *EvaluateCalcResponse) GetResult() *Value

func (*EvaluateCalcResponse) ProtoMessage 

func (*EvaluateCalcResponse) ProtoMessage()

func (*EvaluateCalcResponse) ProtoReflect 

func (x *EvaluateCalcResponse) ProtoReflect() protoreflect.Message

func (*EvaluateCalcResponse) Reset 

func (x *EvaluateCalcResponse) Reset()

func (*EvaluateCalcResponse) String 

func (x *EvaluateCalcResponse) String() string

type EvaluateRequest 

type EvaluateRequest struct {
	ModelHash       string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`                     // from ParseFile response
	Expression      string `protobuf:"bytes,2,opt,name=expression,proto3" json:"expression,omitempty"`                                    // SysML expression string (e.g., "2 + 2")
	ContextSymbolId string `protobuf:"bytes,3,opt,name=context_symbol_id,json=contextSymbolId,proto3" json:"context_symbol_id,omitempty"` // optional: symbol FQN for context scope
	// optional: FQN to instantiate and evaluate against, so a feature reads that
	// object's value rather than the declared default (as %eval after %instantiate)
	SubjectSymbolId string `protobuf:"bytes,4,opt,name=subject_symbol_id,json=subjectSymbolId,proto3" json:"subject_symbol_id,omitempty"`
	// contains filtered or unexported fields
}

EvaluateRequest requests evaluation of a SysML expression

func (*EvaluateRequest) Descriptor deprecated 

func (*EvaluateRequest) Descriptor() ([]byte, []int)

Deprecated: Use EvaluateRequest.ProtoReflect.Descriptor instead.

func (*EvaluateRequest) GetContextSymbolId 

func (x *EvaluateRequest) GetContextSymbolId() string

func (*EvaluateRequest) GetExpression 

func (x *EvaluateRequest) GetExpression() string

func (*EvaluateRequest) GetModelHash 

func (x *EvaluateRequest) GetModelHash() string

func (*EvaluateRequest) GetSubjectSymbolId 

func (x *EvaluateRequest) GetSubjectSymbolId() string

func (*EvaluateRequest) ProtoMessage 

func (*EvaluateRequest) ProtoMessage()

func (*EvaluateRequest) ProtoReflect 

func (x *EvaluateRequest) ProtoReflect() protoreflect.Message

func (*EvaluateRequest) Reset 

func (x *EvaluateRequest) Reset()

func (*EvaluateRequest) String 

func (x *EvaluateRequest) String() string

type EvaluateResponse 

type EvaluateResponse struct {
	Result      *Value        `protobuf:"bytes,1,opt,name=result,proto3" json:"result,omitempty"`
	Error       string        `protobuf:"bytes,2,opt,name=error,proto3" json:"error,omitempty"` // non-empty if evaluation failed
	Diagnostics []*Diagnostic `protobuf:"bytes,3,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// contains filtered or unexported fields
}

EvaluateResponse contains evaluation result

func (*EvaluateResponse) Descriptor deprecated 

func (*EvaluateResponse) Descriptor() ([]byte, []int)

Deprecated: Use EvaluateResponse.ProtoReflect.Descriptor instead.

func (*EvaluateResponse) GetDiagnostics 

func (x *EvaluateResponse) GetDiagnostics() []*Diagnostic

func (*EvaluateResponse) GetError 

func (x *EvaluateResponse) GetError() string

func (*EvaluateResponse) GetResult 

func (x *EvaluateResponse) GetResult() *Value

func (*EvaluateResponse) ProtoMessage 

func (*EvaluateResponse) ProtoMessage()

func (*EvaluateResponse) ProtoReflect 

func (x *EvaluateResponse) ProtoReflect() protoreflect.Message

func (*EvaluateResponse) Reset 

func (x *EvaluateResponse) Reset()

func (*EvaluateResponse) String 

func (x *EvaluateResponse) String() string

type ExecuteActionRequest 

type ExecuteActionRequest struct {
	ModelHash      string            `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	ActionSymbolId string            `protobuf:"bytes,2,opt,name=action_symbol_id,json=actionSymbolId,proto3" json:"action_symbol_id,omitempty"` // FQN of action def
	Inputs         map[string]*Value ``                                                                                                          // parameter name → value
	/* 139-byte string literal not displayed */
	// contains filtered or unexported fields
}

ExecuteActionRequest requests action execution

func (*ExecuteActionRequest) Descriptor deprecated 

func (*ExecuteActionRequest) Descriptor() ([]byte, []int)

Deprecated: Use ExecuteActionRequest.ProtoReflect.Descriptor instead.

func (*ExecuteActionRequest) GetActionSymbolId 

func (x *ExecuteActionRequest) GetActionSymbolId() string

func (*ExecuteActionRequest) GetInputs 

func (x *ExecuteActionRequest) GetInputs() map[string]*Value

func (*ExecuteActionRequest) GetModelHash 

func (x *ExecuteActionRequest) GetModelHash() string

func (*ExecuteActionRequest) ProtoMessage 

func (*ExecuteActionRequest) ProtoMessage()

func (*ExecuteActionRequest) ProtoReflect 

func (x *ExecuteActionRequest) ProtoReflect() protoreflect.Message

func (*ExecuteActionRequest) Reset 

func (x *ExecuteActionRequest) Reset()

func (*ExecuteActionRequest) String 

func (x *ExecuteActionRequest) String() string

type ExecuteActionResponse 

type ExecuteActionResponse struct {
	Outputs map[string]*Value `` // output parameter name → value
	/* 141-byte string literal not displayed */
	Error       string        `protobuf:"bytes,2,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,3,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// contains filtered or unexported fields
}

ExecuteActionResponse contains action execution results

func (*ExecuteActionResponse) Descriptor deprecated 

func (*ExecuteActionResponse) Descriptor() ([]byte, []int)

Deprecated: Use ExecuteActionResponse.ProtoReflect.Descriptor instead.

func (*ExecuteActionResponse) GetDiagnostics 

func (x *ExecuteActionResponse) GetDiagnostics() []*Diagnostic

func (*ExecuteActionResponse) GetError 

func (x *ExecuteActionResponse) GetError() string

func (*ExecuteActionResponse) GetOutputs 

func (x *ExecuteActionResponse) GetOutputs() map[string]*Value

func (*ExecuteActionResponse) ProtoMessage 

func (*ExecuteActionResponse) ProtoMessage()

func (*ExecuteActionResponse) ProtoReflect 

func (x *ExecuteActionResponse) ProtoReflect() protoreflect.Message

func (*ExecuteActionResponse) Reset 

func (x *ExecuteActionResponse) Reset()

func (*ExecuteActionResponse) String 

func (x *ExecuteActionResponse) String() string

type ExecuteStateRequest 

type ExecuteStateRequest struct {
	ModelHash            string   `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	StateMachineSymbolId string   `protobuf:"bytes,2,opt,name=state_machine_symbol_id,json=stateMachineSymbolId,proto3" json:"state_machine_symbol_id,omitempty"`
	Events               []string `protobuf:"bytes,3,rep,name=events,proto3" json:"events,omitempty"` // sequence of event names to process
	// contains filtered or unexported fields
}

ExecuteStateRequest requests state machine execution

func (*ExecuteStateRequest) Descriptor deprecated 

func (*ExecuteStateRequest) Descriptor() ([]byte, []int)

Deprecated: Use ExecuteStateRequest.ProtoReflect.Descriptor instead.

func (*ExecuteStateRequest) GetEvents 

func (x *ExecuteStateRequest) GetEvents() []string

func (*ExecuteStateRequest) GetModelHash 

func (x *ExecuteStateRequest) GetModelHash() string

func (*ExecuteStateRequest) GetStateMachineSymbolId 

func (x *ExecuteStateRequest) GetStateMachineSymbolId() string

func (*ExecuteStateRequest) ProtoMessage 

func (*ExecuteStateRequest) ProtoMessage()

func (*ExecuteStateRequest) ProtoReflect 

func (x *ExecuteStateRequest) ProtoReflect() protoreflect.Message

func (*ExecuteStateRequest) Reset 

func (x *ExecuteStateRequest) Reset()

func (*ExecuteStateRequest) String 

func (x *ExecuteStateRequest) String() string

type ExecuteStateResponse 

type ExecuteStateResponse struct {
	StatesVisited []string          `protobuf:"bytes,1,rep,name=states_visited,json=statesVisited,proto3" json:"states_visited,omitempty"` // trace of state names
	FinalContext  map[string]*Value ``                                                                                                     /* 171-byte string literal not displayed */
	Error         string            `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics   []*Diagnostic     `protobuf:"bytes,4,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// contains filtered or unexported fields
}

ExecuteStateResponse contains state machine execution trace

func (*ExecuteStateResponse) Descriptor deprecated 

func (*ExecuteStateResponse) Descriptor() ([]byte, []int)

Deprecated: Use ExecuteStateResponse.ProtoReflect.Descriptor instead.

func (*ExecuteStateResponse) GetDiagnostics 

func (x *ExecuteStateResponse) GetDiagnostics() []*Diagnostic

func (*ExecuteStateResponse) GetError 

func (x *ExecuteStateResponse) GetError() string

func (*ExecuteStateResponse) GetFinalContext 

func (x *ExecuteStateResponse) GetFinalContext() map[string]*Value

func (*ExecuteStateResponse) GetStatesVisited 

func (x *ExecuteStateResponse) GetStatesVisited() []string

func (*ExecuteStateResponse) ProtoMessage 

func (*ExecuteStateResponse) ProtoMessage()

func (*ExecuteStateResponse) ProtoReflect 

func (x *ExecuteStateResponse) ProtoReflect() protoreflect.Message

func (*ExecuteStateResponse) Reset 

func (x *ExecuteStateResponse) Reset()

func (*ExecuteStateResponse) String 

func (x *ExecuteStateResponse) String() string

type FailureReason 

type FailureReason int32

FailureReason says what kind of failure an `error` reports, so a client acts on the kind rather than on the message text. 

const (
	FailureReason_FAILURE_REASON_UNSPECIFIED       FailureReason = 0 // no failure, or one not classified
	FailureReason_FAILURE_REASON_EVALUATION        FailureReason = 1 // the condition or calculation could not be evaluated
	FailureReason_FAILURE_REASON_WRONG_KIND        FailureReason = 2 // the symbol named declares something else
	FailureReason_FAILURE_REASON_AMBIGUOUS_SUBJECT FailureReason = 3 // several objects carry the element; name one as the subject
)

func (FailureReason) Descriptor 

func (FailureReason) Descriptor() protoreflect.EnumDescriptor

func (FailureReason) Enum 

func (x FailureReason) Enum() *FailureReason

func (FailureReason) EnumDescriptor deprecated 

func (FailureReason) EnumDescriptor() ([]byte, []int)

Deprecated: Use FailureReason.Descriptor instead.

func (FailureReason) Number 

func (x FailureReason) Number() protoreflect.EnumNumber

func (FailureReason) String 

func (x FailureReason) String() string

func (FailureReason) Type 

func (FailureReason) Type() protoreflect.EnumType

type FeatureValue 

type FeatureValue struct {
	FeatureName  string   `protobuf:"bytes,1,opt,name=feature_name,json=featureName,proto3" json:"feature_name,omitempty"`
	Value        *Value   `protobuf:"bytes,2,opt,name=value,proto3" json:"value,omitempty"`   // for a single-valued feature
	Values       []*Value `protobuf:"bytes,3,rep,name=values,proto3" json:"values,omitempty"` // for a multi-valued feature
	Materialized bool     `protobuf:"varint,4,opt,name=materialized,proto3" json:"materialized,omitempty"`
	Error        string   `protobuf:"bytes,5,opt,name=error,proto3" json:"error,omitempty"` // set when evaluation failed; value is unset
	// contains filtered or unexported fields
}

FeatureValue is what an object holds for one feature of its type.

func (*FeatureValue) Descriptor deprecated 

func (*FeatureValue) Descriptor() ([]byte, []int)

Deprecated: Use FeatureValue.ProtoReflect.Descriptor instead.

func (*FeatureValue) GetError 

func (x *FeatureValue) GetError() string

func (*FeatureValue) GetFeatureName 

func (x *FeatureValue) GetFeatureName() string

func (*FeatureValue) GetMaterialized 

func (x *FeatureValue) GetMaterialized() bool

func (*FeatureValue) GetValue 

func (x *FeatureValue) GetValue() *Value

func (*FeatureValue) GetValues 

func (x *FeatureValue) GetValues() []*Value

func (*FeatureValue) ProtoMessage 

func (*FeatureValue) ProtoMessage()

func (*FeatureValue) ProtoReflect 

func (x *FeatureValue) ProtoReflect() protoreflect.Message

func (*FeatureValue) Reset 

func (x *FeatureValue) Reset()

func (*FeatureValue) String 

func (x *FeatureValue) String() string

type GetSymbolRequest 

type GetSymbolRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	SymbolId  string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"` // Fully qualified name
	// contains filtered or unexported fields
}

GetSymbolRequest queries for a specific symbol

func (*GetSymbolRequest) Descriptor deprecated 

func (*GetSymbolRequest) Descriptor() ([]byte, []int)

Deprecated: Use GetSymbolRequest.ProtoReflect.Descriptor instead.

func (*GetSymbolRequest) GetModelHash 

func (x *GetSymbolRequest) GetModelHash() string

func (*GetSymbolRequest) GetSymbolId 

func (x *GetSymbolRequest) GetSymbolId() string

func (*GetSymbolRequest) ProtoMessage 

func (*GetSymbolRequest) ProtoMessage()

func (*GetSymbolRequest) ProtoReflect 

func (x *GetSymbolRequest) ProtoReflect() protoreflect.Message

func (*GetSymbolRequest) Reset 

func (x *GetSymbolRequest) Reset()

func (*GetSymbolRequest) String 

func (x *GetSymbolRequest) String() string

type Instance 

type Instance struct {
	Id           int64  `protobuf:"varint,1,opt,name=id,proto3" json:"id,omitempty"`
	TypeSymbolId string `protobuf:"bytes,2,opt,name=type_symbol_id,json=typeSymbolId,proto3" json:"type_symbol_id,omitempty"` // FQN of the def/usage
	// What the object holds for each feature of its type, by feature name.
	FeatureValues map[string]*FeatureValue `` /* 174-byte string literal not displayed */
	// contains filtered or unexported fields
}

Instance represents a runtime instance of a part/usage

func (*Instance) Descriptor deprecated 

func (*Instance) Descriptor() ([]byte, []int)

Deprecated: Use Instance.ProtoReflect.Descriptor instead.

func (*Instance) GetFeatureValues 

func (x *Instance) GetFeatureValues() map[string]*FeatureValue

func (*Instance) GetId 

func (x *Instance) GetId() int64

func (*Instance) GetTypeSymbolId 

func (x *Instance) GetTypeSymbolId() string

func (*Instance) ProtoMessage 

func (*Instance) ProtoMessage()

func (*Instance) ProtoReflect 

func (x *Instance) ProtoReflect() protoreflect.Message

func (*Instance) Reset 

func (x *Instance) Reset()

func (*Instance) String 

func (x *Instance) String() string

type InstantiateRequest 

type InstantiateRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	SymbolId  string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"` // FQN of part/usage to instantiate
	// contains filtered or unexported fields
}

InstantiateRequest requests instantiation of a part/usage

func (*InstantiateRequest) Descriptor deprecated 

func (*InstantiateRequest) Descriptor() ([]byte, []int)

Deprecated: Use InstantiateRequest.ProtoReflect.Descriptor instead.

func (*InstantiateRequest) GetModelHash 

func (x *InstantiateRequest) GetModelHash() string

func (*InstantiateRequest) GetSymbolId 

func (x *InstantiateRequest) GetSymbolId() string

func (*InstantiateRequest) ProtoMessage 

func (*InstantiateRequest) ProtoMessage()

func (*InstantiateRequest) ProtoReflect 

func (x *InstantiateRequest) ProtoReflect() protoreflect.Message

func (*InstantiateRequest) Reset 

func (x *InstantiateRequest) Reset()

func (*InstantiateRequest) String 

func (x *InstantiateRequest) String() string

type InstantiateResponse 

type InstantiateResponse struct {
	Instance    *Instance     `protobuf:"bytes,1,opt,name=instance,proto3" json:"instance,omitempty"`
	Error       string        `protobuf:"bytes,2,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,3,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// Every instance reachable from `instance`, including `instance` itself, so a
	// client can resolve an `instance_id` feature value without a follow-up RPC.
	Instances []*Instance `protobuf:"bytes,4,rep,name=instances,proto3" json:"instances,omitempty"`
	// contains filtered or unexported fields
}

InstantiateResponse contains the created instance

func (*InstantiateResponse) Descriptor deprecated 

func (*InstantiateResponse) Descriptor() ([]byte, []int)

Deprecated: Use InstantiateResponse.ProtoReflect.Descriptor instead.

func (*InstantiateResponse) GetDiagnostics 

func (x *InstantiateResponse) GetDiagnostics() []*Diagnostic

func (*InstantiateResponse) GetError 

func (x *InstantiateResponse) GetError() string

func (*InstantiateResponse) GetInstance 

func (x *InstantiateResponse) GetInstance() *Instance

func (*InstantiateResponse) GetInstances 

func (x *InstantiateResponse) GetInstances() []*Instance

func (*InstantiateResponse) ProtoMessage 

func (*InstantiateResponse) ProtoMessage()

func (*InstantiateResponse) ProtoReflect 

func (x *InstantiateResponse) ProtoReflect() protoreflect.Message

func (*InstantiateResponse) Reset 

func (x *InstantiateResponse) Reset()

func (*InstantiateResponse) String 

func (x *InstantiateResponse) String() string

type MultiplicityInfo 

type MultiplicityInfo struct {
	Lower string `protobuf:"bytes,1,opt,name=lower,proto3" json:"lower,omitempty"` // "0", "1", … or "*"
	Upper string `protobuf:"bytes,2,opt,name=upper,proto3" json:"upper,omitempty"` // "1", "*", …
	// contains filtered or unexported fields
}

MultiplicityInfo is a declared multiplicity range. A bound the service cannot evaluate statically is empty.

func (*MultiplicityInfo) Descriptor deprecated 

func (*MultiplicityInfo) Descriptor() ([]byte, []int)

Deprecated: Use MultiplicityInfo.ProtoReflect.Descriptor instead.

func (*MultiplicityInfo) GetLower 

func (x *MultiplicityInfo) GetLower() string

func (*MultiplicityInfo) GetUpper 

func (x *MultiplicityInfo) GetUpper() string

func (*MultiplicityInfo) ProtoMessage 

func (*MultiplicityInfo) ProtoMessage()

func (*MultiplicityInfo) ProtoReflect 

func (x *MultiplicityInfo) ProtoReflect() protoreflect.Message

func (*MultiplicityInfo) Reset 

func (x *MultiplicityInfo) Reset()

func (*MultiplicityInfo) String 

func (x *MultiplicityInfo) String() string

type ParseFileRequest 

type ParseFileRequest struct {

	// Types that are valid to be assigned to Source:
	//
	//	*ParseFileRequest_FilePath
	//	*ParseFileRequest_Content
	Source isParseFileRequest_Source `protobuf_oneof:"source"`
	// Ignored: the service keys its cache by the source it read, so a repeated
	// parse hits the cache whether or not a client sends this.
	//
	// Deprecated: Marked as deprecated in sysml.proto.
	ContentHash string `protobuf:"bytes,3,opt,name=content_hash,json=contentHash,proto3" json:"content_hash,omitempty"`
	// Language for inline content: "sysml" or "kerml". Empty defaults to SysML.
	Language string `protobuf:"bytes,4,opt,name=language,proto3" json:"language,omitempty"`
	// Judge the source as conforming SysML v2: notation no pinned production
	// admits is an error rather than a warning. Part of the cache key, so the two
	// modes never serve each other's diagnostics.
	StrictConformance bool `protobuf:"varint,5,opt,name=strict_conformance,json=strictConformance,proto3" json:"strict_conformance,omitempty"`
	// contains filtered or unexported fields
}

ParseFileRequest specifies the source to parse

func (*ParseFileRequest) Descriptor deprecated 

func (*ParseFileRequest) Descriptor() ([]byte, []int)

Deprecated: Use ParseFileRequest.ProtoReflect.Descriptor instead.

func (*ParseFileRequest) GetContent 

func (x *ParseFileRequest) GetContent() string

func (*ParseFileRequest) GetContentHash deprecated 

func (x *ParseFileRequest) GetContentHash() string

Deprecated: Marked as deprecated in sysml.proto.

func (*ParseFileRequest) GetFilePath 

func (x *ParseFileRequest) GetFilePath() string

func (*ParseFileRequest) GetLanguage added in v0.2.0 

func (x *ParseFileRequest) GetLanguage() string

func (*ParseFileRequest) GetSource 

func (x *ParseFileRequest) GetSource() isParseFileRequest_Source

func (*ParseFileRequest) GetStrictConformance added in v0.2.0 

func (x *ParseFileRequest) GetStrictConformance() bool

func (*ParseFileRequest) ProtoMessage 

func (*ParseFileRequest) ProtoMessage()

func (*ParseFileRequest) ProtoReflect 

func (x *ParseFileRequest) ProtoReflect() protoreflect.Message

func (*ParseFileRequest) Reset 

func (x *ParseFileRequest) Reset()

func (*ParseFileRequest) String 

func (x *ParseFileRequest) String() string

type ParseFileRequest_Content 

type ParseFileRequest_Content struct {
	Content string `protobuf:"bytes,2,opt,name=content,proto3,oneof"`
}

type ParseFileRequest_FilePath 

type ParseFileRequest_FilePath struct {
	FilePath string `protobuf:"bytes,1,opt,name=file_path,json=filePath,proto3,oneof"`
}

type ParseFileResponse 

type ParseFileResponse struct {
	ModelHash   string        `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"` // Cache key for subsequent requests
	Root        *SymbolInfo   `protobuf:"bytes,2,opt,name=root,proto3" json:"root,omitempty"`                            // Root namespace
	Diagnostics []*Diagnostic `protobuf:"bytes,3,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	Error       string        `protobuf:"bytes,4,opt,name=error,proto3" json:"error,omitempty"` // Critical failure message if any
	// contains filtered or unexported fields
}

ParseFileResponse contains parsed model info

func (*ParseFileResponse) Descriptor deprecated 

func (*ParseFileResponse) Descriptor() ([]byte, []int)

Deprecated: Use ParseFileResponse.ProtoReflect.Descriptor instead.

func (*ParseFileResponse) GetDiagnostics 

func (x *ParseFileResponse) GetDiagnostics() []*Diagnostic

func (*ParseFileResponse) GetError 

func (x *ParseFileResponse) GetError() string

func (*ParseFileResponse) GetModelHash 

func (x *ParseFileResponse) GetModelHash() string

func (*ParseFileResponse) GetRoot 

func (x *ParseFileResponse) GetRoot() *SymbolInfo

func (*ParseFileResponse) ProtoMessage 

func (*ParseFileResponse) ProtoMessage()

func (*ParseFileResponse) ProtoReflect 

func (x *ParseFileResponse) ProtoReflect() protoreflect.Message

func (*ParseFileResponse) Reset 

func (x *ParseFileResponse) Reset()

func (*ParseFileResponse) String 

func (x *ParseFileResponse) String() string

type PrimitiveConstraint 

type PrimitiveConstraint struct {

	// Negates the comparison's verdict.
	Inverse bool `protobuf:"varint,1,opt,name=inverse,proto3" json:"inverse,omitempty"`
	// Property to compare, as named in docs/reference/api.md's query property table
	// ("@type", "name", "qualifiedName", ...). An unknown one fails the call.
	Property string            `protobuf:"bytes,2,opt,name=property,proto3" json:"property,omitempty"`
	Operator PrimitiveOperator `protobuf:"varint,3,opt,name=operator,proto3,enum=sysml.PrimitiveOperator" json:"operator,omitempty"`
	// Values to compare against. The standard writes one value, and its clients
	// also write a list for `@type`; with `=` the element matches any of them,
	// while `>` and `<` require exactly one.
	Value []string `protobuf:"bytes,4,rep,name=value,proto3" json:"value,omitempty"`
	// contains filtered or unexported fields
}

PrimitiveConstraint compares one property of an element against a value.

func (*PrimitiveConstraint) Descriptor deprecated 

func (*PrimitiveConstraint) Descriptor() ([]byte, []int)

Deprecated: Use PrimitiveConstraint.ProtoReflect.Descriptor instead.

func (*PrimitiveConstraint) GetInverse 

func (x *PrimitiveConstraint) GetInverse() bool

func (*PrimitiveConstraint) GetOperator 

func (x *PrimitiveConstraint) GetOperator() PrimitiveOperator

func (*PrimitiveConstraint) GetProperty 

func (x *PrimitiveConstraint) GetProperty() string

func (*PrimitiveConstraint) GetValue 

func (x *PrimitiveConstraint) GetValue() []string

func (*PrimitiveConstraint) ProtoMessage 

func (*PrimitiveConstraint) ProtoMessage()

func (*PrimitiveConstraint) ProtoReflect 

func (x *PrimitiveConstraint) ProtoReflect() protoreflect.Message

func (*PrimitiveConstraint) Reset 

func (x *PrimitiveConstraint) Reset()

func (*PrimitiveConstraint) String 

func (x *PrimitiveConstraint) String() string

type PrimitiveOperator 

type PrimitiveOperator int32

PrimitiveOperator is the standard's PrimitiveConstraint.operator. 

const (
	PrimitiveOperator_PRIMITIVE_OPERATOR_UNSPECIFIED PrimitiveOperator = 0 // unset; fails the call
	PrimitiveOperator_PRIMITIVE_OPERATOR_EQUAL       PrimitiveOperator = 1 // "="
	PrimitiveOperator_PRIMITIVE_OPERATOR_GREATER     PrimitiveOperator = 2 // ">"
	PrimitiveOperator_PRIMITIVE_OPERATOR_LESS        PrimitiveOperator = 3 // "<"
)

func (PrimitiveOperator) Descriptor 

func (PrimitiveOperator) Descriptor() protoreflect.EnumDescriptor

func (PrimitiveOperator) Enum 

func (x PrimitiveOperator) Enum() *PrimitiveOperator

func (PrimitiveOperator) EnumDescriptor deprecated 

func (PrimitiveOperator) EnumDescriptor() ([]byte, []int)

Deprecated: Use PrimitiveOperator.Descriptor instead.

func (PrimitiveOperator) Number 

func (x PrimitiveOperator) Number() protoreflect.EnumNumber

func (PrimitiveOperator) String 

func (x PrimitiveOperator) String() string

func (PrimitiveOperator) Type 

func (PrimitiveOperator) Type() protoreflect.EnumType

type Quantity 

type Quantity struct {

	// Magnitude, keeping Integer and Real apart as the rest of Value does.
	//
	// Types that are valid to be assigned to Magnitude:
	//
	//	*Quantity_IntMagnitude
	//	*Quantity_RealMagnitude
	Magnitude isQuantity_Magnitude `protobuf_oneof:"magnitude"`
	// Unit as written ("km/h") or as an operation composed it ("m/s"); empty for
	// one never written down, described by unit_term alone.
	Unit string `protobuf:"bytes,3,opt,name=unit,proto3" json:"unit,omitempty"`
	// What the unit reduces to, which decides commensurability and conversion.
	// Required wherever `unit` names one: a named unit sent without its reduction
	// is rejected rather than read as dimension one.
	UnitTerm *UnitTerm `protobuf:"bytes,4,opt,name=unit_term,json=unitTerm,proto3" json:"unit_term,omitempty"`
	// contains filtered or unexported fields
}

Quantity is a magnitude and the measurement reference it is expressed in, sent in the unit written: `5.4 [km/h]` crosses as 5.4 `km/h`, not as 1.5 `m/s`.

func (*Quantity) Descriptor deprecated 

func (*Quantity) Descriptor() ([]byte, []int)

Deprecated: Use Quantity.ProtoReflect.Descriptor instead.

func (*Quantity) GetIntMagnitude 

func (x *Quantity) GetIntMagnitude() int64

func (*Quantity) GetMagnitude 

func (x *Quantity) GetMagnitude() isQuantity_Magnitude

func (*Quantity) GetRealMagnitude 

func (x *Quantity) GetRealMagnitude() float64

func (*Quantity) GetUnit 

func (x *Quantity) GetUnit() string

func (*Quantity) GetUnitTerm 

func (x *Quantity) GetUnitTerm() *UnitTerm

func (*Quantity) ProtoMessage 

func (*Quantity) ProtoMessage()

func (*Quantity) ProtoReflect 

func (x *Quantity) ProtoReflect() protoreflect.Message

func (*Quantity) Reset 

func (x *Quantity) Reset()

func (*Quantity) String 

func (x *Quantity) String() string

type Quantity_IntMagnitude 

type Quantity_IntMagnitude struct {
	IntMagnitude int64 `protobuf:"varint,1,opt,name=int_magnitude,json=intMagnitude,proto3,oneof"`
}

type Quantity_RealMagnitude 

type Quantity_RealMagnitude struct {
	RealMagnitude float64 `protobuf:"fixed64,2,opt,name=real_magnitude,json=realMagnitude,proto3,oneof"`
}

type Query 

type Query struct {

	// Elements the query considers, each named by qualified name, together with
	// every element nested inside them. Empty considers the whole loaded model.
	// Corresponds to the standard's `scope` of DataIdentity references.
	Scope []string `protobuf:"bytes,1,rep,name=scope,proto3" json:"scope,omitempty"`
	// Properties to report for each matched element. Empty reports all of them.
	Select []string `protobuf:"bytes,2,rep,name=select,proto3" json:"select,omitempty"`
	// Filter every considered element must satisfy. Unset matches all of them.
	Where *Constraint `protobuf:"bytes,3,opt,name=where,proto3" json:"where,omitempty"`
	// contains filtered or unexported fields
}

Query is the standard's Query resource (SysML v2 API & Services). Its `@type` is fixed and carries no information on the wire, and its identity fields (`@id`, `owningProject`) belong to a repository that stores queries, which this service is not: it evaluates a query against a parsed model.

func (*Query) Descriptor deprecated 

func (*Query) Descriptor() ([]byte, []int)

Deprecated: Use Query.ProtoReflect.Descriptor instead.

func (*Query) GetScope 

func (x *Query) GetScope() []string

func (*Query) GetSelect 

func (x *Query) GetSelect() []string

func (*Query) GetWhere 

func (x *Query) GetWhere() *Constraint

func (*Query) ProtoMessage 

func (*Query) ProtoMessage()

func (*Query) ProtoReflect 

func (x *Query) ProtoReflect() protoreflect.Message

func (*Query) Reset 

func (x *Query) Reset()

func (*Query) String 

func (x *Query) String() string

type QueryRequest 

type QueryRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"` // from ParseFile response
	Query     *Query `protobuf:"bytes,2,opt,name=query,proto3" json:"query,omitempty"`
	// OSLC Query 3.0 parameter text, mutually exclusive with query.
	OslcQuery string `protobuf:"bytes,3,opt,name=oslc_query,json=oslcQuery,proto3" json:"oslc_query,omitempty"`
	// contains filtered or unexported fields
}

QueryRequest runs a Query against a model the service already parsed.

func (*QueryRequest) Descriptor deprecated 

func (*QueryRequest) Descriptor() ([]byte, []int)

Deprecated: Use QueryRequest.ProtoReflect.Descriptor instead.

func (*QueryRequest) GetModelHash 

func (x *QueryRequest) GetModelHash() string

func (*QueryRequest) GetOslcQuery added in v0.2.0 

func (x *QueryRequest) GetOslcQuery() string

func (*QueryRequest) GetQuery 

func (x *QueryRequest) GetQuery() *Query

func (*QueryRequest) ProtoMessage 

func (*QueryRequest) ProtoMessage()

func (*QueryRequest) ProtoReflect 

func (x *QueryRequest) ProtoReflect() protoreflect.Message

func (*QueryRequest) Reset 

func (x *QueryRequest) Reset()

func (*QueryRequest) String 

func (x *QueryRequest) String() string

type QueryResponse 

type QueryResponse struct {
	Elements []*QueryResultElement `protobuf:"bytes,1,rep,name=elements,proto3" json:"elements,omitempty"`
	// contains filtered or unexported fields
}

QueryResponse contains the elements the query selected, in the order they are declared in the model. A query that matches nothing answers with no elements; a query the service cannot evaluate fails the call with INVALID_ARGUMENT rather than answering empty.

func (*QueryResponse) Descriptor deprecated 

func (*QueryResponse) Descriptor() ([]byte, []int)

Deprecated: Use QueryResponse.ProtoReflect.Descriptor instead.

func (*QueryResponse) GetElements 

func (x *QueryResponse) GetElements() []*QueryResultElement

func (*QueryResponse) ProtoMessage 

func (*QueryResponse) ProtoMessage()

func (*QueryResponse) ProtoReflect 

func (x *QueryResponse) ProtoReflect() protoreflect.Message

func (*QueryResponse) Reset 

func (x *QueryResponse) Reset()

func (*QueryResponse) String 

func (x *QueryResponse) String() string

type QueryResultElement 

type QueryResultElement struct {
	Id         string            `protobuf:"bytes,1,opt,name=id,proto3" json:"id,omitempty"`     // qualified name, the identity this service reports
	Type       string            `protobuf:"bytes,2,opt,name=type,proto3" json:"type,omitempty"` // metamodel type name ("PartUsage", "PartDefinition", ...)
	Properties map[string]string ``                                                              /* 147-byte string literal not displayed */
	// contains filtered or unexported fields
}

QueryResultElement is one matched element. `id` and `type` are always reported, since an element record is not usable without them; `properties` carries what `select` asked for, omitting a property the element does not have.

func (*QueryResultElement) Descriptor deprecated 

func (*QueryResultElement) Descriptor() ([]byte, []int)

Deprecated: Use QueryResultElement.ProtoReflect.Descriptor instead.

func (*QueryResultElement) GetId 

func (x *QueryResultElement) GetId() string

func (*QueryResultElement) GetProperties 

func (x *QueryResultElement) GetProperties() map[string]string

func (*QueryResultElement) GetType 

func (x *QueryResultElement) GetType() string

func (*QueryResultElement) ProtoMessage 

func (*QueryResultElement) ProtoMessage()

func (*QueryResultElement) ProtoReflect 

func (x *QueryResultElement) ProtoReflect() protoreflect.Message

func (*QueryResultElement) Reset 

func (x *QueryResultElement) Reset()

func (*QueryResultElement) String 

func (x *QueryResultElement) String() string

type RenameEdit 

type RenameEdit struct {
	Target  string `protobuf:"bytes,1,opt,name=target,proto3" json:"target,omitempty"`                  // element to rename, as SymbolInfo.id names it
	NewName string `protobuf:"bytes,2,opt,name=new_name,json=newName,proto3" json:"new_name,omitempty"` // new declared name; must lex as an identifier
	// contains filtered or unexported fields
}

RenameEdit rewrites the name token of a declaration. References to the element are not updated: a rename of an element referenced anywhere is refused, naming the referring elements, rather than leaving a broken model.

func (*RenameEdit) Descriptor deprecated 

func (*RenameEdit) Descriptor() ([]byte, []int)

Deprecated: Use RenameEdit.ProtoReflect.Descriptor instead.

func (*RenameEdit) GetNewName 

func (x *RenameEdit) GetNewName() string

func (*RenameEdit) GetTarget 

func (x *RenameEdit) GetTarget() string

func (*RenameEdit) ProtoMessage 

func (*RenameEdit) ProtoMessage()

func (*RenameEdit) ProtoReflect 

func (x *RenameEdit) ProtoReflect() protoreflect.Message

func (*RenameEdit) Reset 

func (x *RenameEdit) Reset()

func (*RenameEdit) String 

func (x *RenameEdit) String() string

type ServerInfoRequest 

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

ServerInfoRequest asks the service to describe itself. It carries no fields; the answer does not depend on the caller.

func (*ServerInfoRequest) Descriptor deprecated 

func (*ServerInfoRequest) Descriptor() ([]byte, []int)

Deprecated: Use ServerInfoRequest.ProtoReflect.Descriptor instead.

func (*ServerInfoRequest) ProtoMessage 

func (*ServerInfoRequest) ProtoMessage()

func (*ServerInfoRequest) ProtoReflect 

func (x *ServerInfoRequest) ProtoReflect() protoreflect.Message

func (*ServerInfoRequest) Reset 

func (x *ServerInfoRequest) Reset()

func (*ServerInfoRequest) String 

func (x *ServerInfoRequest) String() string

type ServerInfoResponse 

type ServerInfoResponse struct {

	// Build version of the service binary, informational only: it is "dev" for a
	// build without release ldflags, and versions of forks are not comparable.
	// Feature decisions belong in `capabilities`.
	Version string `protobuf:"bytes,1,opt,name=version,proto3" json:"version,omitempty"`
	// Named capabilities this build supports, each an exact string a client can
	// require. Capabilities are only ever added, never renamed or removed with
	// their behaviour intact, so requiring one is stable across releases.
	// Currently defined:
	//
	//	"type_facts" - SymbolInfo carries type_info, multiplicity and
	//	               specializations, which typed code generation needs.
	//	"convert"    - the Convert RPC writes a model back out as SysML notation
	//	               or RDF Turtle.
	//	"verification" - the VerifyConstraint, VerifyRequirement,
	//	               VerifySatisfaction and EvaluateCalc RPCs answer the
	//	               questions the REPL's %constraint, %requirement, %satisfy
	//	               and %calc answer.
	//	"query"      - the Query RPC evaluates a SysML v2 API & Services Query.
	//	"oslc_query" - the Query RPC evaluates OSLC Query text.
	//	"enum_values" - a Value carries an enumeration literal as enum_literal,
	//	               rather than reporting it as an unsupported null.
	//	"unset_value" - a valueless feature of a value type is reported as
	//	               Value.unset, rather than as the empty object it
	//	               materializes.
	//	"apply_edits" - the ApplyEdits RPC edits a parsed model's own source,
	//	               preserving everything the edit did not touch.
	Capabilities []string `protobuf:"bytes,2,rep,name=capabilities,proto3" json:"capabilities,omitempty"`
	// contains filtered or unexported fields
}

ServerInfoResponse describes the running service.

func (*ServerInfoResponse) Descriptor deprecated 

func (*ServerInfoResponse) Descriptor() ([]byte, []int)

Deprecated: Use ServerInfoResponse.ProtoReflect.Descriptor instead.

func (*ServerInfoResponse) GetCapabilities 

func (x *ServerInfoResponse) GetCapabilities() []string

func (*ServerInfoResponse) GetVersion 

func (x *ServerInfoResponse) GetVersion() string

func (*ServerInfoResponse) ProtoMessage 

func (*ServerInfoResponse) ProtoMessage()

func (*ServerInfoResponse) ProtoReflect 

func (x *ServerInfoResponse) ProtoReflect() protoreflect.Message

func (*ServerInfoResponse) Reset 

func (x *ServerInfoResponse) Reset()

func (*ServerInfoResponse) String 

func (x *ServerInfoResponse) String() string

type SetValueEdit 

type SetValueEdit struct {

	// Element to edit, named as SymbolInfo.id names it ("Demo::sc::unitMass").
	Target string `protobuf:"bytes,1,opt,name=target,proto3" json:"target,omitempty"`
	// New value in SysML notation ("1050.0[SI::kg]", "\"m1\"", "true", "mass * 2").
	// It must parse as an expression and resolve in the feature's own scope.
	Value string `protobuf:"bytes,2,opt,name=value,proto3" json:"value,omitempty"`
	// contains filtered or unexported fields
}

SetValueEdit sets the value of a feature that already exists, replacing the expression of its `= <expr>` or adding one before the declaration's `;`.

func (*SetValueEdit) Descriptor deprecated 

func (*SetValueEdit) Descriptor() ([]byte, []int)

Deprecated: Use SetValueEdit.ProtoReflect.Descriptor instead.

func (*SetValueEdit) GetTarget 

func (x *SetValueEdit) GetTarget() string

func (*SetValueEdit) GetValue 

func (x *SetValueEdit) GetValue() string

func (*SetValueEdit) ProtoMessage 

func (*SetValueEdit) ProtoMessage()

func (*SetValueEdit) ProtoReflect 

func (x *SetValueEdit) ProtoReflect() protoreflect.Message

func (*SetValueEdit) Reset 

func (x *SetValueEdit) Reset()

func (*SetValueEdit) String 

func (x *SetValueEdit) String() string

type Span 

type Span struct {
	File      string `protobuf:"bytes,1,opt,name=file,proto3" json:"file,omitempty"`
	StartLine int32  `protobuf:"varint,2,opt,name=start_line,json=startLine,proto3" json:"start_line,omitempty"`
	StartCol  int32  `protobuf:"varint,3,opt,name=start_col,json=startCol,proto3" json:"start_col,omitempty"`
	EndLine   int32  `protobuf:"varint,4,opt,name=end_line,json=endLine,proto3" json:"end_line,omitempty"`
	EndCol    int32  `protobuf:"varint,5,opt,name=end_col,json=endCol,proto3" json:"end_col,omitempty"`
	// contains filtered or unexported fields
}

Span represents a source location

func (*Span) Descriptor deprecated 

func (*Span) Descriptor() ([]byte, []int)

Deprecated: Use Span.ProtoReflect.Descriptor instead.

func (*Span) GetEndCol 

func (x *Span) GetEndCol() int32

func (*Span) GetEndLine 

func (x *Span) GetEndLine() int32

func (*Span) GetFile 

func (x *Span) GetFile() string

func (*Span) GetStartCol 

func (x *Span) GetStartCol() int32

func (*Span) GetStartLine 

func (x *Span) GetStartLine() int32

func (*Span) ProtoMessage 

func (*Span) ProtoMessage()

func (*Span) ProtoReflect 

func (x *Span) ProtoReflect() protoreflect.Message

func (*Span) Reset 

func (x *Span) Reset()

func (*Span) String 

func (x *Span) String() string

type Specialization 

type Specialization struct {

	// Relationship kind: "specializes", "subsets", "redefines" or "typing".
	Kind string `protobuf:"bytes,1,opt,name=kind,proto3" json:"kind,omitempty"`
	// The target as written in the source ("Engine", "Demo::Engine").
	Declared string `protobuf:"bytes,2,opt,name=declared,proto3" json:"declared,omitempty"`
	// FQN of the resolved target; empty when the name does not resolve.
	TargetId string `protobuf:"bytes,3,opt,name=target_id,json=targetId,proto3" json:"target_id,omitempty"`
	// Symbol kind of the resolved target ("partDef", ...); empty when unresolved.
	TargetKind string `protobuf:"bytes,4,opt,name=target_kind,json=targetKind,proto3" json:"target_kind,omitempty"`
	// contains filtered or unexported fields
}

Specialization is one generalization edge an element declares.

func (*Specialization) Descriptor deprecated 

func (*Specialization) Descriptor() ([]byte, []int)

Deprecated: Use Specialization.ProtoReflect.Descriptor instead.

func (*Specialization) GetDeclared 

func (x *Specialization) GetDeclared() string

func (*Specialization) GetKind 

func (x *Specialization) GetKind() string

func (*Specialization) GetTargetId 

func (x *Specialization) GetTargetId() string

func (*Specialization) GetTargetKind 

func (x *Specialization) GetTargetKind() string

func (*Specialization) ProtoMessage 

func (*Specialization) ProtoMessage()

func (*Specialization) ProtoReflect 

func (x *Specialization) ProtoReflect() protoreflect.Message

func (*Specialization) Reset 

func (x *Specialization) Reset()

func (*Specialization) String 

func (x *Specialization) String() string

type SymbolInfo 

type SymbolInfo struct {
	Id       string            `protobuf:"bytes,1,opt,name=id,proto3" json:"id,omitempty"` // Unique identifier (fully qualified name)
	Name     string            `protobuf:"bytes,2,opt,name=name,proto3" json:"name,omitempty"`
	Kind     string            `protobuf:"bytes,3,opt,name=kind,proto3" json:"kind,omitempty"` // "PartDefinition", "AttributeUsage", etc
	Metadata map[string]string ``                                                              // multiplicity, type, etc
	/* 143-byte string literal not displayed */
	ChildIds   []string         `protobuf:"bytes,5,rep,name=child_ids,json=childIds,proto3" json:"child_ids,omitempty"` // References to children
	Attributes []*AttributeInfo `protobuf:"bytes,6,rep,name=attributes,proto3" json:"attributes,omitempty"`
	// Static type facts; unset when the element is not a def/usage.
	TypeInfo *TypeInfo `protobuf:"bytes,7,opt,name=type_info,json=typeInfo,proto3" json:"type_info,omitempty"`
	// Declared multiplicity; unset when none is declared.
	Multiplicity *MultiplicityInfo `protobuf:"bytes,8,opt,name=multiplicity,proto3" json:"multiplicity,omitempty"`
	// Every generalization edge declared, in declaration order. metadata["type"]
	// and metadata["specializes"] report only the first, kept for compatibility.
	Specializations []*Specialization `protobuf:"bytes,9,rep,name=specializations,proto3" json:"specializations,omitempty"`
	// Attributes inherited from standard-library content, which `attributes`
	// leaves out. Their absence is stated here rather than silent.
	WithheldLibraryAttributes int32 `` /* 140-byte string literal not displayed */
	// contains filtered or unexported fields
}

SymbolInfo represents any SysML element

func (*SymbolInfo) Descriptor deprecated 

func (*SymbolInfo) Descriptor() ([]byte, []int)

Deprecated: Use SymbolInfo.ProtoReflect.Descriptor instead.

func (*SymbolInfo) GetAttributes 

func (x *SymbolInfo) GetAttributes() []*AttributeInfo

func (*SymbolInfo) GetChildIds 

func (x *SymbolInfo) GetChildIds() []string

func (*SymbolInfo) GetId 

func (x *SymbolInfo) GetId() string

func (*SymbolInfo) GetKind 

func (x *SymbolInfo) GetKind() string

func (*SymbolInfo) GetMetadata 

func (x *SymbolInfo) GetMetadata() map[string]string

func (*SymbolInfo) GetMultiplicity 

func (x *SymbolInfo) GetMultiplicity() *MultiplicityInfo

func (*SymbolInfo) GetName 

func (x *SymbolInfo) GetName() string

func (*SymbolInfo) GetSpecializations 

func (x *SymbolInfo) GetSpecializations() []*Specialization

func (*SymbolInfo) GetTypeInfo 

func (x *SymbolInfo) GetTypeInfo() *TypeInfo

func (*SymbolInfo) GetWithheldLibraryAttributes added in v0.2.0 

func (x *SymbolInfo) GetWithheldLibraryAttributes() int32

func (*SymbolInfo) ProtoMessage 

func (*SymbolInfo) ProtoMessage()

func (*SymbolInfo) ProtoReflect 

func (x *SymbolInfo) ProtoReflect() protoreflect.Message

func (*SymbolInfo) Reset 

func (x *SymbolInfo) Reset()

func (*SymbolInfo) String 

func (x *SymbolInfo) String() string

type SymbolResponse 

type SymbolResponse struct {
	Symbol *SymbolInfo `protobuf:"bytes,1,opt,name=symbol,proto3" json:"symbol,omitempty"`
	Error  string      `protobuf:"bytes,2,opt,name=error,proto3" json:"error,omitempty"`
	// contains filtered or unexported fields
}

SymbolResponse contains symbol information

func (*SymbolResponse) Descriptor deprecated 

func (*SymbolResponse) Descriptor() ([]byte, []int)

Deprecated: Use SymbolResponse.ProtoReflect.Descriptor instead.

func (*SymbolResponse) GetError 

func (x *SymbolResponse) GetError() string

func (*SymbolResponse) GetSymbol 

func (x *SymbolResponse) GetSymbol() *SymbolInfo

func (*SymbolResponse) ProtoMessage 

func (*SymbolResponse) ProtoMessage()

func (*SymbolResponse) ProtoReflect 

func (x *SymbolResponse) ProtoReflect() protoreflect.Message

func (*SymbolResponse) Reset 

func (x *SymbolResponse) Reset()

func (*SymbolResponse) String 

func (x *SymbolResponse) String() string

type SysMLServiceClient 

type SysMLServiceClient interface {
	// Report what this build of the service can do, so a client can require a
	// capability instead of guessing from a version string. A service that
	// predates this RPC answers UNIMPLEMENTED, which is itself the answer.
	GetServerInfo(ctx context.Context, in *ServerInfoRequest, opts ...grpc.CallOption) (*ServerInfoResponse, error)
	// Parse a SysML file and return model hash for subsequent queries
	ParseFile(ctx context.Context, in *ParseFileRequest, opts ...grpc.CallOption) (*ParseFileResponse, error)
	// Get symbol information by qualified name
	GetSymbol(ctx context.Context, in *GetSymbolRequest, opts ...grpc.CallOption) (*SymbolResponse, error)
	// Get all diagnostics for a parsed model
	GetDiagnostics(ctx context.Context, in *DiagnosticsRequest, opts ...grpc.CallOption) (*DiagnosticsResponse, error)
	// Runtime operations (Phase 4)
	Evaluate(ctx context.Context, in *EvaluateRequest, opts ...grpc.CallOption) (*EvaluateResponse, error)
	Instantiate(ctx context.Context, in *InstantiateRequest, opts ...grpc.CallOption) (*InstantiateResponse, error)
	ExecuteAction(ctx context.Context, in *ExecuteActionRequest, opts ...grpc.CallOption) (*ExecuteActionResponse, error)
	ExecuteState(ctx context.Context, in *ExecuteStateRequest, opts ...grpc.CallOption) (*ExecuteStateResponse, error)
	// Convert a model between the representations OpenSysML writes — SysML
	// textual notation and RDF Turtle — so a client can write a model back out
	// rather than only read it. Reported as the "convert" capability.
	Convert(ctx context.Context, in *ConvertRequest, opts ...grpc.CallOption) (*ConvertResponse, error)
	// Apply edits to a parsed model's own source and return the edited notation,
	// so a client can change a model and write it back with its comments and
	// layout intact. Edits are byte ranges the service locates from the parsed
	// spans, and the result is re-parsed and validated before it is returned.
	// Reported as the "apply_edits" capability.
	ApplyEdits(ctx context.Context, in *ApplyEditsRequest, opts ...grpc.CallOption) (*ApplyEditsResponse, error)
	// Verification: the answers the REPL's %constraint, %requirement, %satisfy
	// and %calc give, so "does this model satisfy its requirements?" can be asked
	// by a script. Each evaluates the same runtime paths the prompt does and
	// returns a verdict rather than formatted lines. Reported as the
	// "verification" capability.
	VerifyConstraint(ctx context.Context, in *VerifyConstraintRequest, opts ...grpc.CallOption) (*VerifyConstraintResponse, error)
	VerifyRequirement(ctx context.Context, in *VerifyRequirementRequest, opts ...grpc.CallOption) (*VerifyRequirementResponse, error)
	VerifySatisfaction(ctx context.Context, in *VerifySatisfactionRequest, opts ...grpc.CallOption) (*VerifySatisfactionResponse, error)
	EvaluateCalc(ctx context.Context, in *EvaluateCalcRequest, opts ...grpc.CallOption) (*EvaluateCalcResponse, error)
	// Run a SysML v2 API & Services Query over a parsed model: scope/select/where
	// as the standard defines them, so a client that speaks that API can filter a
	// model here. Reported as the "query" capability.
	Query(ctx context.Context, in *QueryRequest, opts ...grpc.CallOption) (*QueryResponse, error)
}

SysMLServiceClient is the client API for SysMLService service.

For semantics around ctx use and closing/ending streaming RPCs, please refer to https://pkg.go.dev/google.golang.org/grpc/?tab=doc#ClientConn.NewStream.

func NewSysMLServiceClient 

func NewSysMLServiceClient(cc grpc.ClientConnInterface) SysMLServiceClient

type SysMLServiceServer 

type SysMLServiceServer interface {
	// Report what this build of the service can do, so a client can require a
	// capability instead of guessing from a version string. A service that
	// predates this RPC answers UNIMPLEMENTED, which is itself the answer.
	GetServerInfo(context.Context, *ServerInfoRequest) (*ServerInfoResponse, error)
	// Parse a SysML file and return model hash for subsequent queries
	ParseFile(context.Context, *ParseFileRequest) (*ParseFileResponse, error)
	// Get symbol information by qualified name
	GetSymbol(context.Context, *GetSymbolRequest) (*SymbolResponse, error)
	// Get all diagnostics for a parsed model
	GetDiagnostics(context.Context, *DiagnosticsRequest) (*DiagnosticsResponse, error)
	// Runtime operations (Phase 4)
	Evaluate(context.Context, *EvaluateRequest) (*EvaluateResponse, error)
	Instantiate(context.Context, *InstantiateRequest) (*InstantiateResponse, error)
	ExecuteAction(context.Context, *ExecuteActionRequest) (*ExecuteActionResponse, error)
	ExecuteState(context.Context, *ExecuteStateRequest) (*ExecuteStateResponse, error)
	// Convert a model between the representations OpenSysML writes — SysML
	// textual notation and RDF Turtle — so a client can write a model back out
	// rather than only read it. Reported as the "convert" capability.
	Convert(context.Context, *ConvertRequest) (*ConvertResponse, error)
	// Apply edits to a parsed model's own source and return the edited notation,
	// so a client can change a model and write it back with its comments and
	// layout intact. Edits are byte ranges the service locates from the parsed
	// spans, and the result is re-parsed and validated before it is returned.
	// Reported as the "apply_edits" capability.
	ApplyEdits(context.Context, *ApplyEditsRequest) (*ApplyEditsResponse, error)
	// Verification: the answers the REPL's %constraint, %requirement, %satisfy
	// and %calc give, so "does this model satisfy its requirements?" can be asked
	// by a script. Each evaluates the same runtime paths the prompt does and
	// returns a verdict rather than formatted lines. Reported as the
	// "verification" capability.
	VerifyConstraint(context.Context, *VerifyConstraintRequest) (*VerifyConstraintResponse, error)
	VerifyRequirement(context.Context, *VerifyRequirementRequest) (*VerifyRequirementResponse, error)
	VerifySatisfaction(context.Context, *VerifySatisfactionRequest) (*VerifySatisfactionResponse, error)
	EvaluateCalc(context.Context, *EvaluateCalcRequest) (*EvaluateCalcResponse, error)
	// Run a SysML v2 API & Services Query over a parsed model: scope/select/where
	// as the standard defines them, so a client that speaks that API can filter a
	// model here. Reported as the "query" capability.
	Query(context.Context, *QueryRequest) (*QueryResponse, error)
	// contains filtered or unexported methods
}

SysMLServiceServer is the server API for SysMLService service. All implementations must embed UnimplementedSysMLServiceServer for forward compatibility

type TypeInfo 

type TypeInfo struct {

	// Type name as written; empty when none is declared.
	Declared string `protobuf:"bytes,1,opt,name=declared,proto3" json:"declared,omitempty"`
	// FQN of the resolved type; empty when unresolved or undeclared.
	ResolvedId string `protobuf:"bytes,2,opt,name=resolved_id,json=resolvedId,proto3" json:"resolved_id,omitempty"`
	// Symbol kind of the resolved type ("partDef", "attributeDef", ...).
	ResolvedKind string `protobuf:"bytes,3,opt,name=resolved_kind,json=resolvedKind,proto3" json:"resolved_kind,omitempty"`
	// Library scalar the type reduces to ("Boolean", "Integer", "Real", ...);
	// empty when it is not a scalar value type.
	Primitive string `protobuf:"bytes,4,opt,name=primitive,proto3" json:"primitive,omitempty"`
	// Origin of `primitive`: "declared" (from the declared or inherited type),
	// "value" (inferred from the default value), or empty.
	PrimitiveSource string `protobuf:"bytes,5,opt,name=primitive_source,json=primitiveSource,proto3" json:"primitive_source,omitempty"`
	// Values carry a measurement unit, so such a feature value holds a Quantity.
	Quantity bool `protobuf:"varint,6,opt,name=quantity,proto3" json:"quantity,omitempty"`
	// Unit as written when the default value names one ("m/s"), else empty.
	Unit string `protobuf:"bytes,7,opt,name=unit,proto3" json:"unit,omitempty"`
	// contains filtered or unexported fields
}

TypeInfo is the static type of a usage, or the classification of a definition, as far as the service derives it without running the model.

func (*TypeInfo) Descriptor deprecated 

func (*TypeInfo) Descriptor() ([]byte, []int)

Deprecated: Use TypeInfo.ProtoReflect.Descriptor instead.

func (*TypeInfo) GetDeclared 

func (x *TypeInfo) GetDeclared() string

func (*TypeInfo) GetPrimitive 

func (x *TypeInfo) GetPrimitive() string

func (*TypeInfo) GetPrimitiveSource 

func (x *TypeInfo) GetPrimitiveSource() string

func (*TypeInfo) GetQuantity 

func (x *TypeInfo) GetQuantity() bool

func (*TypeInfo) GetResolvedId 

func (x *TypeInfo) GetResolvedId() string

func (*TypeInfo) GetResolvedKind 

func (x *TypeInfo) GetResolvedKind() string

func (*TypeInfo) GetUnit 

func (x *TypeInfo) GetUnit() string

func (*TypeInfo) ProtoMessage 

func (*TypeInfo) ProtoMessage()

func (*TypeInfo) ProtoReflect 

func (x *TypeInfo) ProtoReflect() protoreflect.Message

func (*TypeInfo) Reset 

func (x *TypeInfo) Reset()

func (*TypeInfo) String 

func (x *TypeInfo) String() string

type UnimplementedSysMLServiceServer 

type UnimplementedSysMLServiceServer struct {
}

UnimplementedSysMLServiceServer must be embedded to have forward compatible implementations.

func (UnimplementedSysMLServiceServer) ApplyEdits 

func (UnimplementedSysMLServiceServer) ApplyEdits(context.Context, *ApplyEditsRequest) (*ApplyEditsResponse, error)

func (UnimplementedSysMLServiceServer) Convert 

func (UnimplementedSysMLServiceServer) Convert(context.Context, *ConvertRequest) (*ConvertResponse, error)

func (UnimplementedSysMLServiceServer) Evaluate 

func (UnimplementedSysMLServiceServer) Evaluate(context.Context, *EvaluateRequest) (*EvaluateResponse, error)

func (UnimplementedSysMLServiceServer) EvaluateCalc 

func (UnimplementedSysMLServiceServer) EvaluateCalc(context.Context, *EvaluateCalcRequest) (*EvaluateCalcResponse, error)

func (UnimplementedSysMLServiceServer) ExecuteAction 

func (UnimplementedSysMLServiceServer) ExecuteAction(context.Context, *ExecuteActionRequest) (*ExecuteActionResponse, error)

func (UnimplementedSysMLServiceServer) ExecuteState 

func (UnimplementedSysMLServiceServer) ExecuteState(context.Context, *ExecuteStateRequest) (*ExecuteStateResponse, error)

func (UnimplementedSysMLServiceServer) GetDiagnostics 

func (UnimplementedSysMLServiceServer) GetDiagnostics(context.Context, *DiagnosticsRequest) (*DiagnosticsResponse, error)

func (UnimplementedSysMLServiceServer) GetServerInfo 

func (UnimplementedSysMLServiceServer) GetServerInfo(context.Context, *ServerInfoRequest) (*ServerInfoResponse, error)

func (UnimplementedSysMLServiceServer) GetSymbol 

func (UnimplementedSysMLServiceServer) GetSymbol(context.Context, *GetSymbolRequest) (*SymbolResponse, error)

func (UnimplementedSysMLServiceServer) Instantiate 

func (UnimplementedSysMLServiceServer) Instantiate(context.Context, *InstantiateRequest) (*InstantiateResponse, error)

func (UnimplementedSysMLServiceServer) ParseFile 

func (UnimplementedSysMLServiceServer) ParseFile(context.Context, *ParseFileRequest) (*ParseFileResponse, error)

func (UnimplementedSysMLServiceServer) Query 

func (UnimplementedSysMLServiceServer) Query(context.Context, *QueryRequest) (*QueryResponse, error)

func (UnimplementedSysMLServiceServer) VerifyConstraint 

func (UnimplementedSysMLServiceServer) VerifyConstraint(context.Context, *VerifyConstraintRequest) (*VerifyConstraintResponse, error)

func (UnimplementedSysMLServiceServer) VerifyRequirement 

func (UnimplementedSysMLServiceServer) VerifyRequirement(context.Context, *VerifyRequirementRequest) (*VerifyRequirementResponse, error)

func (UnimplementedSysMLServiceServer) VerifySatisfaction 

func (UnimplementedSysMLServiceServer) VerifySatisfaction(context.Context, *VerifySatisfactionRequest) (*VerifySatisfactionResponse, error)

type UnitFactor 

type UnitFactor struct {

	// FQN of the base unit ("SI::m"), naming it across processes.
	UnitId   string  `protobuf:"bytes,1,opt,name=unit_id,json=unitId,proto3" json:"unit_id,omitempty"`
	Exponent float64 `protobuf:"fixed64,2,opt,name=exponent,proto3" json:"exponent,omitempty"`
	// contains filtered or unexported fields
}

UnitFactor is one base unit raised to an exponent.

func (*UnitFactor) Descriptor deprecated 

func (*UnitFactor) Descriptor() ([]byte, []int)

Deprecated: Use UnitFactor.ProtoReflect.Descriptor instead.

func (*UnitFactor) GetExponent 

func (x *UnitFactor) GetExponent() float64

func (*UnitFactor) GetUnitId 

func (x *UnitFactor) GetUnitId() string

func (*UnitFactor) ProtoMessage 

func (*UnitFactor) ProtoMessage()

func (*UnitFactor) ProtoReflect 

func (x *UnitFactor) ProtoReflect() protoreflect.Message

func (*UnitFactor) Reset 

func (x *UnitFactor) Reset()

func (*UnitFactor) String 

func (x *UnitFactor) String() string

type UnitTerm 

type UnitTerm struct {

	// Scale as an unevaluated ratio, so an exact conversion stays exact.
	ScaleNum float64 `protobuf:"fixed64,1,opt,name=scale_num,json=scaleNum,proto3" json:"scale_num,omitempty"`
	ScaleDen float64 `protobuf:"fixed64,2,opt,name=scale_den,json=scaleDen,proto3" json:"scale_den,omitempty"`
	// Base units of the reduction, carrying no zero exponents.
	Factors []*UnitFactor `protobuf:"bytes,3,rep,name=factors,proto3" json:"factors,omitempty"`
	// contains filtered or unexported fields
}

UnitTerm is a unit reduced to a scale factor over base units: `km/h` reduces to 1000/3600 over `SI::m` and `SI::s^-1`.

func (*UnitTerm) Descriptor deprecated 

func (*UnitTerm) Descriptor() ([]byte, []int)

Deprecated: Use UnitTerm.ProtoReflect.Descriptor instead.

func (*UnitTerm) GetFactors 

func (x *UnitTerm) GetFactors() []*UnitFactor

func (*UnitTerm) GetScaleDen 

func (x *UnitTerm) GetScaleDen() float64

func (*UnitTerm) GetScaleNum 

func (x *UnitTerm) GetScaleNum() float64

func (*UnitTerm) ProtoMessage 

func (*UnitTerm) ProtoMessage()

func (*UnitTerm) ProtoReflect 

func (x *UnitTerm) ProtoReflect() protoreflect.Message

func (*UnitTerm) Reset 

func (x *UnitTerm) Reset()

func (*UnitTerm) String 

func (x *UnitTerm) String() string

type UnsafeSysMLServiceServer 

type UnsafeSysMLServiceServer interface {
	// contains filtered or unexported methods
}

UnsafeSysMLServiceServer may be embedded to opt out of forward compatibility for this service. Use of this interface is not recommended, as added methods to SysMLServiceServer will result in compilation errors.

type Value 

type Value struct {

	// Types that are valid to be assigned to Kind:
	//
	//	*Value_IntValue
	//	*Value_RealValue
	//	*Value_BoolValue
	//	*Value_StringValue
	//	*Value_InstanceId
	//	*Value_Sequence
	//	*Value_Null
	//	*Value_Quantity
	//	*Value_EnumLiteral
	//	*Value_Unset
	Kind isValue_Kind `protobuf_oneof:"kind"`
	// contains filtered or unexported fields
}

Value represents a runtime-evaluable value

func (*Value) Descriptor deprecated 

func (*Value) Descriptor() ([]byte, []int)

Deprecated: Use Value.ProtoReflect.Descriptor instead.

func (*Value) GetBoolValue 

func (x *Value) GetBoolValue() bool

func (*Value) GetEnumLiteral 

func (x *Value) GetEnumLiteral() *EnumLiteral

func (*Value) GetInstanceId 

func (x *Value) GetInstanceId() int64

func (*Value) GetIntValue 

func (x *Value) GetIntValue() int64

func (*Value) GetKind 

func (x *Value) GetKind() isValue_Kind

func (*Value) GetNull 

func (x *Value) GetNull() string

func (*Value) GetQuantity 

func (x *Value) GetQuantity() *Quantity

func (*Value) GetRealValue 

func (x *Value) GetRealValue() float64

func (*Value) GetSequence 

func (x *Value) GetSequence() *ValueSequence

func (*Value) GetStringValue 

func (x *Value) GetStringValue() string

func (*Value) GetUnset 

func (x *Value) GetUnset() bool

func (*Value) ProtoMessage 

func (*Value) ProtoMessage()

func (*Value) ProtoReflect 

func (x *Value) ProtoReflect() protoreflect.Message

func (*Value) Reset 

func (x *Value) Reset()

func (*Value) String 

func (x *Value) String() string

type ValueSequence 

type ValueSequence struct {
	Elements []*Value `protobuf:"bytes,1,rep,name=elements,proto3" json:"elements,omitempty"`
	// contains filtered or unexported fields
}

func (*ValueSequence) Descriptor deprecated 

func (*ValueSequence) Descriptor() ([]byte, []int)

Deprecated: Use ValueSequence.ProtoReflect.Descriptor instead.

func (*ValueSequence) GetElements 

func (x *ValueSequence) GetElements() []*Value

func (*ValueSequence) ProtoMessage 

func (*ValueSequence) ProtoMessage()

func (*ValueSequence) ProtoReflect 

func (x *ValueSequence) ProtoReflect() protoreflect.Message

func (*ValueSequence) Reset 

func (x *ValueSequence) Reset()

func (*ValueSequence) String 

func (x *ValueSequence) String() string

type Value_BoolValue 

type Value_BoolValue struct {
	BoolValue bool `protobuf:"varint,3,opt,name=bool_value,json=boolValue,proto3,oneof"`
}

type Value_EnumLiteral 

type Value_EnumLiteral struct {
	EnumLiteral *EnumLiteral `protobuf:"bytes,9,opt,name=enum_literal,json=enumLiteral,proto3,oneof"`
}

type Value_InstanceId 

type Value_InstanceId struct {
	InstanceId int64 `protobuf:"varint,5,opt,name=instance_id,json=instanceId,proto3,oneof"` // reference to Instance
}

type Value_IntValue 

type Value_IntValue struct {
	IntValue int64 `protobuf:"varint,1,opt,name=int_value,json=intValue,proto3,oneof"`
}

type Value_Null 

type Value_Null struct {
	Null string `protobuf:"bytes,7,opt,name=null,proto3,oneof"` // marker for null (empty string)
}

type Value_Quantity 

type Value_Quantity struct {
	Quantity *Quantity `protobuf:"bytes,8,opt,name=quantity,proto3,oneof"` // magnitude and the unit it is expressed in
}

type Value_RealValue 

type Value_RealValue struct {
	RealValue float64 `protobuf:"fixed64,2,opt,name=real_value,json=realValue,proto3,oneof"`
}

type Value_Sequence 

type Value_Sequence struct {
	Sequence *ValueSequence `protobuf:"bytes,6,opt,name=sequence,proto3,oneof"`
}

type Value_StringValue 

type Value_StringValue struct {
	StringValue string `protobuf:"bytes,4,opt,name=string_value,json=stringValue,proto3,oneof"`
}

type Value_Unset 

type Value_Unset struct {
	// A valueless feature of a value type: materialized, holding no value.
	// Always true when set; a value the server sends, never one it accepts.
	Unset bool `protobuf:"varint,10,opt,name=unset,proto3,oneof"`
}

type Verdict 

type Verdict struct {

	// What was verified: "constraint", "requirement" or "satisfy".
	Kind string `protobuf:"bytes,1,opt,name=kind,proto3" json:"kind,omitempty"`
	// FQN of the element verified; empty for an anonymous satisfy assertion.
	ElementId string `protobuf:"bytes,2,opt,name=element_id,json=elementId,proto3" json:"element_id,omitempty"`
	// The element as a reader names it: its FQN, or, for an anonymous satisfy
	// assertion, the assertion as written ("satisfy Range by cruise").
	Element string `protobuf:"bytes,3,opt,name=element,proto3" json:"element,omitempty"`
	// Whether the condition holds. False with an empty `error` is the model's own
	// answer; false with an `error` is no answer at all.
	Holds bool `protobuf:"varint,4,opt,name=holds,proto3" json:"holds,omitempty"`
	// The condition that evaluated to false, as written, when the runtime names
	// one. Empty when the verdict holds or the condition is not named.
	Condition string `protobuf:"bytes,5,opt,name=condition,proto3" json:"condition,omitempty"`
	// Instance the verdict is about, 0 when it is about declared values alone.
	// Its feature values are in `instances`, so a client can read what made it fail.
	InstanceId int64 `protobuf:"varint,6,opt,name=instance_id,json=instanceId,proto3" json:"instance_id,omitempty"`
	// Type of `instance_id`, as an FQN, for naming the object in a report.
	InstanceTypeId string `protobuf:"bytes,7,opt,name=instance_type_id,json=instanceTypeId,proto3" json:"instance_type_id,omitempty"`
	// Set when evaluation failed rather than the model answering false: unbound
	// features, incommensurable units, an exhausted step budget. `holds` is then
	// false but is not a verdict.
	Error string `protobuf:"bytes,8,opt,name=error,proto3" json:"error,omitempty"`
	// What kind of failure `error` reports. WRONG_KIND says the symbol named
	// declares something else, which is a wrong request rather than an undecided
	// verdict about the model.
	FailureReason FailureReason `` /* 126-byte string literal not displayed */
	// contains filtered or unexported fields
}

Verdict is one verification's answer: whether the condition held, and, when it did not, which condition the model answered false about.

func (*Verdict) Descriptor deprecated 

func (*Verdict) Descriptor() ([]byte, []int)

Deprecated: Use Verdict.ProtoReflect.Descriptor instead.

func (*Verdict) GetCondition 

func (x *Verdict) GetCondition() string

func (*Verdict) GetElement 

func (x *Verdict) GetElement() string

func (*Verdict) GetElementId 

func (x *Verdict) GetElementId() string

func (*Verdict) GetError 

func (x *Verdict) GetError() string

func (*Verdict) GetFailureReason 

func (x *Verdict) GetFailureReason() FailureReason

func (*Verdict) GetHolds 

func (x *Verdict) GetHolds() bool

func (*Verdict) GetInstanceId 

func (x *Verdict) GetInstanceId() int64

func (*Verdict) GetInstanceTypeId 

func (x *Verdict) GetInstanceTypeId() string

func (*Verdict) GetKind 

func (x *Verdict) GetKind() string

func (*Verdict) ProtoMessage 

func (*Verdict) ProtoMessage()

func (*Verdict) ProtoReflect 

func (x *Verdict) ProtoReflect() protoreflect.Message

func (*Verdict) Reset 

func (x *Verdict) Reset()

func (*Verdict) String 

func (x *Verdict) String() string

type VerifyConstraintRequest 

type VerifyConstraintRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	// FQN of the constraint definition or usage to evaluate.
	SymbolId string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"`
	// Optional FQN of a part/usage to instantiate and evaluate the constraint
	// against, so the verdict is about concrete values rather than declared
	// defaults. The prompt evaluates against the object a %instantiate created;
	// a call carries no session, so it names the subject instead.
	SubjectSymbolId string `protobuf:"bytes,3,opt,name=subject_symbol_id,json=subjectSymbolId,proto3" json:"subject_symbol_id,omitempty"`
	// contains filtered or unexported fields
}

VerifyConstraintRequest asks whether a constraint holds, as %constraint does.

func (*VerifyConstraintRequest) Descriptor deprecated 

func (*VerifyConstraintRequest) Descriptor() ([]byte, []int)

Deprecated: Use VerifyConstraintRequest.ProtoReflect.Descriptor instead.

func (*VerifyConstraintRequest) GetModelHash 

func (x *VerifyConstraintRequest) GetModelHash() string

func (*VerifyConstraintRequest) GetSubjectSymbolId 

func (x *VerifyConstraintRequest) GetSubjectSymbolId() string

func (*VerifyConstraintRequest) GetSymbolId 

func (x *VerifyConstraintRequest) GetSymbolId() string

func (*VerifyConstraintRequest) ProtoMessage 

func (*VerifyConstraintRequest) ProtoMessage()

func (*VerifyConstraintRequest) ProtoReflect 

func (x *VerifyConstraintRequest) ProtoReflect() protoreflect.Message

func (*VerifyConstraintRequest) Reset 

func (x *VerifyConstraintRequest) Reset()

func (*VerifyConstraintRequest) String 

func (x *VerifyConstraintRequest) String() string

type VerifyConstraintResponse 

type VerifyConstraintResponse struct {
	Verdict *Verdict `protobuf:"bytes,1,opt,name=verdict,proto3" json:"verdict,omitempty"`
	// Instances reachable from the verdict's subject, including it, so its feature
	// values need no follow-up RPC. Empty when the verdict names no instance.
	Instances []*Instance `protobuf:"bytes,2,rep,name=instances,proto3" json:"instances,omitempty"`
	// Set when the request could not be answered at all — an unknown symbol, a
	// subject that could not be built. `verdict` is then unset.
	Error       string        `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,4,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// contains filtered or unexported fields
}

VerifyConstraintResponse carries the verdict.

func (*VerifyConstraintResponse) Descriptor deprecated 

func (*VerifyConstraintResponse) Descriptor() ([]byte, []int)

Deprecated: Use VerifyConstraintResponse.ProtoReflect.Descriptor instead.

func (*VerifyConstraintResponse) GetDiagnostics 

func (x *VerifyConstraintResponse) GetDiagnostics() []*Diagnostic

func (*VerifyConstraintResponse) GetError 

func (x *VerifyConstraintResponse) GetError() string

func (*VerifyConstraintResponse) GetInstances 

func (x *VerifyConstraintResponse) GetInstances() []*Instance

func (*VerifyConstraintResponse) GetVerdict 

func (x *VerifyConstraintResponse) GetVerdict() *Verdict

func (*VerifyConstraintResponse) ProtoMessage 

func (*VerifyConstraintResponse) ProtoMessage()

func (*VerifyConstraintResponse) ProtoReflect 

func (x *VerifyConstraintResponse) ProtoReflect() protoreflect.Message

func (*VerifyConstraintResponse) Reset 

func (x *VerifyConstraintResponse) Reset()

func (*VerifyConstraintResponse) String 

func (x *VerifyConstraintResponse) String() string

type VerifyRequirementRequest 

type VerifyRequirementRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	// FQN of the requirement definition or usage to evaluate.
	SymbolId string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"`
	// Optional FQN of a part/usage to instantiate and evaluate against.
	SubjectSymbolId string `protobuf:"bytes,3,opt,name=subject_symbol_id,json=subjectSymbolId,proto3" json:"subject_symbol_id,omitempty"`
	// contains filtered or unexported fields
}

VerifyRequirementRequest asks whether a requirement is satisfied, as %requirement does.

func (*VerifyRequirementRequest) Descriptor deprecated 

func (*VerifyRequirementRequest) Descriptor() ([]byte, []int)

Deprecated: Use VerifyRequirementRequest.ProtoReflect.Descriptor instead.

func (*VerifyRequirementRequest) GetModelHash 

func (x *VerifyRequirementRequest) GetModelHash() string

func (*VerifyRequirementRequest) GetSubjectSymbolId 

func (x *VerifyRequirementRequest) GetSubjectSymbolId() string

func (*VerifyRequirementRequest) GetSymbolId 

func (x *VerifyRequirementRequest) GetSymbolId() string

func (*VerifyRequirementRequest) ProtoMessage 

func (*VerifyRequirementRequest) ProtoMessage()

func (*VerifyRequirementRequest) ProtoReflect 

func (x *VerifyRequirementRequest) ProtoReflect() protoreflect.Message

func (*VerifyRequirementRequest) Reset 

func (x *VerifyRequirementRequest) Reset()

func (*VerifyRequirementRequest) String 

func (x *VerifyRequirementRequest) String() string

type VerifyRequirementResponse 

type VerifyRequirementResponse struct {
	Verdict     *Verdict      `protobuf:"bytes,1,opt,name=verdict,proto3" json:"verdict,omitempty"`
	Instances   []*Instance   `protobuf:"bytes,2,rep,name=instances,proto3" json:"instances,omitempty"`
	Error       string        `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,4,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// contains filtered or unexported fields
}

VerifyRequirementResponse carries the verdict.

func (*VerifyRequirementResponse) Descriptor deprecated 

func (*VerifyRequirementResponse) Descriptor() ([]byte, []int)

Deprecated: Use VerifyRequirementResponse.ProtoReflect.Descriptor instead.

func (*VerifyRequirementResponse) GetDiagnostics 

func (x *VerifyRequirementResponse) GetDiagnostics() []*Diagnostic

func (*VerifyRequirementResponse) GetError 

func (x *VerifyRequirementResponse) GetError() string

func (*VerifyRequirementResponse) GetInstances 

func (x *VerifyRequirementResponse) GetInstances() []*Instance

func (*VerifyRequirementResponse) GetVerdict 

func (x *VerifyRequirementResponse) GetVerdict() *Verdict

func (*VerifyRequirementResponse) ProtoMessage 

func (*VerifyRequirementResponse) ProtoMessage()

func (*VerifyRequirementResponse) ProtoReflect 

func (x *VerifyRequirementResponse) ProtoReflect() protoreflect.Message

func (*VerifyRequirementResponse) Reset 

func (x *VerifyRequirementResponse) Reset()

func (*VerifyRequirementResponse) String 

func (x *VerifyRequirementResponse) String() string

type VerifySatisfactionRequest 

type VerifySatisfactionRequest struct {
	ModelHash string `protobuf:"bytes,1,opt,name=model_hash,json=modelHash,proto3" json:"model_hash,omitempty"`
	// Optional FQN limiting evaluation: the assertions stated within that
	// element, or that element itself when it is a named satisfy assertion. Empty
	// evaluates every assertion the model states.
	SymbolId string `protobuf:"bytes,2,opt,name=symbol_id,json=symbolId,proto3" json:"symbol_id,omitempty"`
	// contains filtered or unexported fields
}

VerifySatisfactionRequest asks whether the satisfaction assertions a model states hold, as %satisfy does. Each is evaluated against an object of its subject, built for the call.

func (*VerifySatisfactionRequest) Descriptor deprecated 

func (*VerifySatisfactionRequest) Descriptor() ([]byte, []int)

Deprecated: Use VerifySatisfactionRequest.ProtoReflect.Descriptor instead.

func (*VerifySatisfactionRequest) GetModelHash 

func (x *VerifySatisfactionRequest) GetModelHash() string

func (*VerifySatisfactionRequest) GetSymbolId 

func (x *VerifySatisfactionRequest) GetSymbolId() string

func (*VerifySatisfactionRequest) ProtoMessage 

func (*VerifySatisfactionRequest) ProtoMessage()

func (*VerifySatisfactionRequest) ProtoReflect 

func (x *VerifySatisfactionRequest) ProtoReflect() protoreflect.Message

func (*VerifySatisfactionRequest) Reset 

func (x *VerifySatisfactionRequest) Reset()

func (*VerifySatisfactionRequest) String 

func (x *VerifySatisfactionRequest) String() string

type VerifySatisfactionResponse 

type VerifySatisfactionResponse struct {
	Verdicts    []*Verdict    `protobuf:"bytes,1,rep,name=verdicts,proto3" json:"verdicts,omitempty"`
	Instances   []*Instance   `protobuf:"bytes,2,rep,name=instances,proto3" json:"instances,omitempty"`
	Error       string        `protobuf:"bytes,3,opt,name=error,proto3" json:"error,omitempty"`
	Diagnostics []*Diagnostic `protobuf:"bytes,4,rep,name=diagnostics,proto3" json:"diagnostics,omitempty"`
	// What kind of failure `error` reports.
	FailureReason FailureReason `` /* 126-byte string literal not displayed */
	// contains filtered or unexported fields
}

VerifySatisfactionResponse carries one verdict per assertion evaluated, in declaration order. No assertion at all is an empty list, not an error.

func (*VerifySatisfactionResponse) Descriptor deprecated 

func (*VerifySatisfactionResponse) Descriptor() ([]byte, []int)

Deprecated: Use VerifySatisfactionResponse.ProtoReflect.Descriptor instead.

func (*VerifySatisfactionResponse) GetDiagnostics 

func (x *VerifySatisfactionResponse) GetDiagnostics() []*Diagnostic

func (*VerifySatisfactionResponse) GetError 

func (x *VerifySatisfactionResponse) GetError() string

func (*VerifySatisfactionResponse) GetFailureReason 

func (x *VerifySatisfactionResponse) GetFailureReason() FailureReason

func (*VerifySatisfactionResponse) GetInstances 

func (x *VerifySatisfactionResponse) GetInstances() []*Instance

func (*VerifySatisfactionResponse) GetVerdicts 

func (x *VerifySatisfactionResponse) GetVerdicts() []*Verdict

func (*VerifySatisfactionResponse) ProtoMessage 

func (*VerifySatisfactionResponse) ProtoMessage()

func (*VerifySatisfactionResponse) ProtoReflect 

func (x *VerifySatisfactionResponse) ProtoReflect() protoreflect.Message

func (*VerifySatisfactionResponse) Reset 

func (x *VerifySatisfactionResponse) Reset()

func (*VerifySatisfactionResponse) String 

func (x *VerifySatisfactionResponse) String() string

Source Files

View all Source files

Directories

Path Synopsis

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.