valid {
    input.ReqMap.debuggeeId == STRING
    input.Qs.agentId == STRING
    input.Qs.successOnTimeout == BOOLEAN
    input.Qs.waitToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BreakpointAction := [ "CAPTURE", "LOG" ]
enum_BreakpointLogLevel := [ "INFO", "WARNING", "ERROR" ]
enum_BreakpointState := [ "STATE_UNSPECIFIED", "STATE_CANARY_PENDING_AGENTS", "STATE_CANARY_ACTIVE", "STATE_ROLLING_TO_ALL", "STATE_IS_FINAL" ]
enum_StatusMessageRefersTo := [ "UNSPECIFIED", "BREAKPOINT_SOURCE_LOCATION", "BREAKPOINT_CONDITION", "BREAKPOINT_EXPRESSION", "BREAKPOINT_AGE", "BREAKPOINT_CANARY_FAILED", "VARIABLE_NAME", "VARIABLE_VALUE" ]

valid {
    input.Body.breakpoint.action == enum_BreakpointAction[_]
    input.Body.breakpoint.canaryExpireTime == STRING
    input.Body.breakpoint.condition == STRING
    input.Body.breakpoint.createTime == STRING
    input.Body.breakpoint.evaluatedExpressions[_].members[_] == NESTED
    input.Body.breakpoint.evaluatedExpressions[_].name == STRING
    input.Body.breakpoint.evaluatedExpressions[_].status.description.format == STRING
    input.Body.breakpoint.evaluatedExpressions[_].status.description.parameters[_] == STRING
    input.Body.breakpoint.evaluatedExpressions[_].status.isError == BOOLEAN
    input.Body.breakpoint.evaluatedExpressions[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.breakpoint.evaluatedExpressions[_].type == STRING
    input.Body.breakpoint.evaluatedExpressions[_].value == STRING
    input.Body.breakpoint.evaluatedExpressions[_].varTableIndex == INTEGER
    input.Body.breakpoint.expressions[_] == STRING
    input.Body.breakpoint.finalTime == STRING
    input.Body.breakpoint.id == STRING
    input.Body.breakpoint.isFinalState == BOOLEAN
    input.Body.breakpoint.labels.STRING == STRING
    input.Body.breakpoint.location.column == INTEGER
    input.Body.breakpoint.location.line == INTEGER
    input.Body.breakpoint.location.path == STRING
    input.Body.breakpoint.logLevel == enum_BreakpointLogLevel[_]
    input.Body.breakpoint.logMessageFormat == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].members[_] == NESTED
    input.Body.breakpoint.stackFrames[_].arguments[_].name == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].status.description.format == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].status.description.parameters[_] == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].status.isError == BOOLEAN
    input.Body.breakpoint.stackFrames[_].arguments[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.breakpoint.stackFrames[_].arguments[_].type == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].value == STRING
    input.Body.breakpoint.stackFrames[_].arguments[_].varTableIndex == INTEGER
    input.Body.breakpoint.stackFrames[_].function == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].members[_] == NESTED
    input.Body.breakpoint.stackFrames[_].locals[_].name == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].status.description.format == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].status.description.parameters[_] == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].status.isError == BOOLEAN
    input.Body.breakpoint.stackFrames[_].locals[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.breakpoint.stackFrames[_].locals[_].type == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].value == STRING
    input.Body.breakpoint.stackFrames[_].locals[_].varTableIndex == INTEGER
    input.Body.breakpoint.stackFrames[_].location.column == INTEGER
    input.Body.breakpoint.stackFrames[_].location.line == INTEGER
    input.Body.breakpoint.stackFrames[_].location.path == STRING
    input.Body.breakpoint.state == enum_BreakpointState[_]
    input.Body.breakpoint.status.description.format == STRING
    input.Body.breakpoint.status.description.parameters[_] == STRING
    input.Body.breakpoint.status.isError == BOOLEAN
    input.Body.breakpoint.status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.breakpoint.userEmail == STRING
    input.Body.breakpoint.variableTable[_].members[_] == NESTED
    input.Body.breakpoint.variableTable[_].name == STRING
    input.Body.breakpoint.variableTable[_].status.description.format == STRING
    input.Body.breakpoint.variableTable[_].status.description.parameters[_] == STRING
    input.Body.breakpoint.variableTable[_].status.isError == BOOLEAN
    input.Body.breakpoint.variableTable[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.breakpoint.variableTable[_].type == STRING
    input.Body.breakpoint.variableTable[_].value == STRING
    input.Body.breakpoint.variableTable[_].varTableIndex == INTEGER
    input.ReqMap.debuggeeId == STRING
    input.ReqMap.id == STRING
    input.ProviderMetadata.Region == STRING
}

enum_AliasContextKind := [ "ANY", "FIXED", "MOVABLE", "OTHER" ]
enum_DebuggeeCanaryMode := [ "CANARY_MODE_UNSPECIFIED", "CANARY_MODE_ALWAYS_ENABLED", "CANARY_MODE_ALWAYS_DISABLED", "CANARY_MODE_DEFAULT_ENABLED", "CANARY_MODE_DEFAULT_DISABLED" ]
enum_StatusMessageRefersTo := [ "UNSPECIFIED", "BREAKPOINT_SOURCE_LOCATION", "BREAKPOINT_CONDITION", "BREAKPOINT_EXPRESSION", "BREAKPOINT_AGE", "BREAKPOINT_CANARY_FAILED", "VARIABLE_NAME", "VARIABLE_VALUE" ]

valid {
    input.Body.debuggee.agentVersion == STRING
    input.Body.debuggee.canaryMode == enum_DebuggeeCanaryMode[_]
    input.Body.debuggee.description == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.aliasContext.kind == enum_AliasContextKind[_]
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.aliasContext.name == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.aliasName == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.repoId.projectRepoId.projectId == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.repoId.projectRepoId.repoName == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.repoId.uid == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudRepo.revisionId == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudWorkspace.snapshotId == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudWorkspace.workspaceId.name == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudWorkspace.workspaceId.repoId.projectRepoId.projectId == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudWorkspace.workspaceId.repoId.projectRepoId.repoName == STRING
    input.Body.debuggee.extSourceContexts[_].context.cloudWorkspace.workspaceId.repoId.uid == STRING
    input.Body.debuggee.extSourceContexts[_].context.gerrit.aliasContext.kind == enum_AliasContextKind[_]
    input.Body.debuggee.extSourceContexts[_].context.gerrit.aliasContext.name == STRING
    input.Body.debuggee.extSourceContexts[_].context.gerrit.aliasName == STRING
    input.Body.debuggee.extSourceContexts[_].context.gerrit.gerritProject == STRING
    input.Body.debuggee.extSourceContexts[_].context.gerrit.hostUri == STRING
    input.Body.debuggee.extSourceContexts[_].context.gerrit.revisionId == STRING
    input.Body.debuggee.extSourceContexts[_].context.git.revisionId == STRING
    input.Body.debuggee.extSourceContexts[_].context.git.url == STRING
    input.Body.debuggee.extSourceContexts[_].labels.STRING == STRING
    input.Body.debuggee.id == STRING
    input.Body.debuggee.isDisabled == BOOLEAN
    input.Body.debuggee.isInactive == BOOLEAN
    input.Body.debuggee.labels.STRING == STRING
    input.Body.debuggee.project == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.aliasContext.kind == enum_AliasContextKind[_]
    input.Body.debuggee.sourceContexts[_].cloudRepo.aliasContext.name == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.aliasName == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.repoId.projectRepoId.projectId == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.repoId.projectRepoId.repoName == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.repoId.uid == STRING
    input.Body.debuggee.sourceContexts[_].cloudRepo.revisionId == STRING
    input.Body.debuggee.sourceContexts[_].cloudWorkspace.snapshotId == STRING
    input.Body.debuggee.sourceContexts[_].cloudWorkspace.workspaceId.name == STRING
    input.Body.debuggee.sourceContexts[_].cloudWorkspace.workspaceId.repoId.projectRepoId.projectId == STRING
    input.Body.debuggee.sourceContexts[_].cloudWorkspace.workspaceId.repoId.projectRepoId.repoName == STRING
    input.Body.debuggee.sourceContexts[_].cloudWorkspace.workspaceId.repoId.uid == STRING
    input.Body.debuggee.sourceContexts[_].gerrit.aliasContext.kind == enum_AliasContextKind[_]
    input.Body.debuggee.sourceContexts[_].gerrit.aliasContext.name == STRING
    input.Body.debuggee.sourceContexts[_].gerrit.aliasName == STRING
    input.Body.debuggee.sourceContexts[_].gerrit.gerritProject == STRING
    input.Body.debuggee.sourceContexts[_].gerrit.hostUri == STRING
    input.Body.debuggee.sourceContexts[_].gerrit.revisionId == STRING
    input.Body.debuggee.sourceContexts[_].git.revisionId == STRING
    input.Body.debuggee.sourceContexts[_].git.url == STRING
    input.Body.debuggee.status.description.format == STRING
    input.Body.debuggee.status.description.parameters[_] == STRING
    input.Body.debuggee.status.isError == BOOLEAN
    input.Body.debuggee.status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.debuggee.uniquifier == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.breakpointId == STRING
    input.ReqMap.debuggeeId == STRING
    input.Qs.clientVersion == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.ReqMap.breakpointId == STRING
    input.ReqMap.debuggeeId == STRING
    input.Qs.clientVersion == STRING
    input.ProviderMetadata.Region == STRING
}

enum_Action.valueParameter := [ "CAPTURE", "LOG" ]

valid {
    input.ReqMap.debuggeeId == STRING
    input.Qs.action.value == enum_Action.valueParameter[_]
    input.Qs.clientVersion == STRING
    input.Qs.includeAllUsers == BOOLEAN
    input.Qs.includeInactive == BOOLEAN
    input.Qs.stripResults == BOOLEAN
    input.Qs.waitToken == STRING
    input.ProviderMetadata.Region == STRING
}

enum_BreakpointAction := [ "CAPTURE", "LOG" ]
enum_BreakpointLogLevel := [ "INFO", "WARNING", "ERROR" ]
enum_BreakpointState := [ "STATE_UNSPECIFIED", "STATE_CANARY_PENDING_AGENTS", "STATE_CANARY_ACTIVE", "STATE_ROLLING_TO_ALL", "STATE_IS_FINAL" ]
enum_CanaryOptionParameter := [ "CANARY_OPTION_UNSPECIFIED", "CANARY_OPTION_TRY_ENABLE", "CANARY_OPTION_TRY_DISABLE" ]
enum_StatusMessageRefersTo := [ "UNSPECIFIED", "BREAKPOINT_SOURCE_LOCATION", "BREAKPOINT_CONDITION", "BREAKPOINT_EXPRESSION", "BREAKPOINT_AGE", "BREAKPOINT_CANARY_FAILED", "VARIABLE_NAME", "VARIABLE_VALUE" ]

valid {
    input.Body.action == enum_BreakpointAction[_]
    input.Body.canaryExpireTime == STRING
    input.Body.condition == STRING
    input.Body.createTime == STRING
    input.Body.evaluatedExpressions[_].members[_] == NESTED
    input.Body.evaluatedExpressions[_].name == STRING
    input.Body.evaluatedExpressions[_].status.description.format == STRING
    input.Body.evaluatedExpressions[_].status.description.parameters[_] == STRING
    input.Body.evaluatedExpressions[_].status.isError == BOOLEAN
    input.Body.evaluatedExpressions[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.evaluatedExpressions[_].type == STRING
    input.Body.evaluatedExpressions[_].value == STRING
    input.Body.evaluatedExpressions[_].varTableIndex == INTEGER
    input.Body.expressions[_] == STRING
    input.Body.finalTime == STRING
    input.Body.id == STRING
    input.Body.isFinalState == BOOLEAN
    input.Body.labels.STRING == STRING
    input.Body.location.column == INTEGER
    input.Body.location.line == INTEGER
    input.Body.location.path == STRING
    input.Body.logLevel == enum_BreakpointLogLevel[_]
    input.Body.logMessageFormat == STRING
    input.Body.stackFrames[_].arguments[_].members[_] == NESTED
    input.Body.stackFrames[_].arguments[_].name == STRING
    input.Body.stackFrames[_].arguments[_].status.description.format == STRING
    input.Body.stackFrames[_].arguments[_].status.description.parameters[_] == STRING
    input.Body.stackFrames[_].arguments[_].status.isError == BOOLEAN
    input.Body.stackFrames[_].arguments[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.stackFrames[_].arguments[_].type == STRING
    input.Body.stackFrames[_].arguments[_].value == STRING
    input.Body.stackFrames[_].arguments[_].varTableIndex == INTEGER
    input.Body.stackFrames[_].function == STRING
    input.Body.stackFrames[_].locals[_].members[_] == NESTED
    input.Body.stackFrames[_].locals[_].name == STRING
    input.Body.stackFrames[_].locals[_].status.description.format == STRING
    input.Body.stackFrames[_].locals[_].status.description.parameters[_] == STRING
    input.Body.stackFrames[_].locals[_].status.isError == BOOLEAN
    input.Body.stackFrames[_].locals[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.stackFrames[_].locals[_].type == STRING
    input.Body.stackFrames[_].locals[_].value == STRING
    input.Body.stackFrames[_].locals[_].varTableIndex == INTEGER
    input.Body.stackFrames[_].location.column == INTEGER
    input.Body.stackFrames[_].location.line == INTEGER
    input.Body.stackFrames[_].location.path == STRING
    input.Body.state == enum_BreakpointState[_]
    input.Body.status.description.format == STRING
    input.Body.status.description.parameters[_] == STRING
    input.Body.status.isError == BOOLEAN
    input.Body.status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.userEmail == STRING
    input.Body.variableTable[_].members[_] == NESTED
    input.Body.variableTable[_].name == STRING
    input.Body.variableTable[_].status.description.format == STRING
    input.Body.variableTable[_].status.description.parameters[_] == STRING
    input.Body.variableTable[_].status.isError == BOOLEAN
    input.Body.variableTable[_].status.refersTo == enum_StatusMessageRefersTo[_]
    input.Body.variableTable[_].type == STRING
    input.Body.variableTable[_].value == STRING
    input.Body.variableTable[_].varTableIndex == INTEGER
    input.ReqMap.debuggeeId == STRING
    input.Qs.canaryOption == enum_CanaryOptionParameter[_]
    input.Qs.clientVersion == STRING
    input.ProviderMetadata.Region == STRING
}

valid {
    input.Qs.clientVersion == STRING
    input.Qs.includeInactive == BOOLEAN
    input.Qs.project == STRING
    input.ProviderMetadata.Region == STRING
}