Index (Alpha Tessera Sensei)

A B C D E F G H I K L M N O P R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

addRepeatedField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
addRepeatedField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
addRepeatedField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.TerminateReply.Builder
addRepeatedField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
addStudent(AddStudentRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingStub
addStudent(AddStudentRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingV2Stub
addStudent(AddStudentRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlFutureStub
addStudent(AddStudentRequest, StreamObserver<AddStudentReply>) - Method in interface atessera.sensei.grpc.ControlGrpc.AsyncService
addStudent(AddStudentRequest, StreamObserver<AddStudentReply>) - Method in class atessera.sensei.grpc.ControlGrpc.ControlStub
AddStudentReply - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.AddStudentReply
AddStudentReply.Builder - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.AddStudentReply
AddStudentReplyOrBuilder - Interface in atessera.sensei.grpc
AddStudentRequest - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.AddStudentRequest
AddStudentRequest.Builder - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.AddStudentRequest
AddStudentRequestOrBuilder - Interface in atessera.sensei.grpc
ASSIGNEDLABWORKS_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentRequest
atessera.sensei - package atessera.sensei
atessera.sensei.agents - package atessera.sensei.agents: LangChain4j agents used by the checking pipeline.
atessera.sensei.git - package atessera.sensei.git: Git repository acquisition and inspection.
atessera.sensei.grpc - package atessera.sensei.grpc
atessera.sensei.model - package atessera.sensei.model
atessera.sensei.tools - package atessera.sensei.tools
atessera.sensei.util - package atessera.sensei.util

B

bindService() - Method in class atessera.sensei.grpc.ControlGrpc.ControlImplBase
bindService(ControlGrpc.AsyncService) - Static method in class atessera.sensei.grpc.ControlGrpc
blockUntilShutdown() - Method in class atessera.sensei.grpc.GrpcServer
build() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
build() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
build() - Method in class atessera.sensei.grpc.TerminateReply.Builder
build() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
build(Channel, CallOptions) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingStub
build(Channel, CallOptions) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingV2Stub
build(Channel, CallOptions) - Method in class atessera.sensei.grpc.ControlGrpc.ControlFutureStub
build(Channel, CallOptions) - Method in class atessera.sensei.grpc.ControlGrpc.ControlStub
buildPartial() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
buildPartial() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
buildPartial() - Method in class atessera.sensei.grpc.TerminateReply.Builder
buildPartial() - Method in class atessera.sensei.grpc.TerminateRequest.Builder

C

chatMemoryStore() - Method in class atessera.sensei.util.Persistence
CheckResult - Class in atessera.sensei.model
CheckResult() - Constructor for class atessera.sensei.model.CheckResult
CheckResult(boolean, boolean, boolean, boolean, int, String) - Constructor for class atessera.sensei.model.CheckResult
CheckRun - Class in atessera.sensei.model
CheckRun() - Constructor for class atessera.sensei.model.CheckRun
CheckRun(CheckRun.Status, long, String, String, String, CheckResult) - Constructor for class atessera.sensei.model.CheckRun
CheckRun.Status - Enum Class in atessera.sensei.model
clear() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
clear() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
clear() - Method in class atessera.sensei.grpc.TerminateReply.Builder
clear() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
clearAssignedLabWorks() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string assignedLabWorks = 3;
clearField(Descriptors.FieldDescriptor) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
clearField(Descriptors.FieldDescriptor) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
clearField(Descriptors.FieldDescriptor) - Method in class atessera.sensei.grpc.TerminateReply.Builder
clearField(Descriptors.FieldDescriptor) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
clearGroup() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: int32 group = 4;
clearLocalGitRepo() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string localGitRepo = 5;
clearMail() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string mail = 1;
clearMessage() - Method in class atessera.sensei.grpc.AddStudentReply.Builder: string message = 2;
clearName() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string name = 2;
clearOneof(Descriptors.OneofDescriptor) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
clearOneof(Descriptors.OneofDescriptor) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
clearOneof(Descriptors.OneofDescriptor) - Method in class atessera.sensei.grpc.TerminateReply.Builder
clearOneof(Descriptors.OneofDescriptor) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
clearSuccess() - Method in class atessera.sensei.grpc.AddStudentReply.Builder: bool success = 1;
clone() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
clone() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
clone() - Method in class atessera.sensei.grpc.TerminateReply.Builder
clone() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
close() - Method in class atessera.sensei.Cron: Requests the worker thread to stop.
close() - Method in class atessera.sensei.git.GitRepository: Recursively removes the clone directory.
close() - Method in class atessera.sensei.util.DockerContainer: Guarantees container cleanup.
close() - Method in class atessera.sensei.util.Persistence: Closes the MVStore database.
commit() - Method in class atessera.sensei.util.Persistence: Commits all pending changes.
ControlGrpc - Class in atessera.sensei.grpc
ControlGrpc.AsyncService - Interface in atessera.sensei.grpc
ControlGrpc.ControlBlockingStub - Class in atessera.sensei.grpc: A stub to allow clients to do limited synchronous rpc calls to service Control.
ControlGrpc.ControlBlockingV2Stub - Class in atessera.sensei.grpc: A stub to allow clients to do synchronous rpc calls to service Control.
ControlGrpc.ControlFutureStub - Class in atessera.sensei.grpc: A stub to allow clients to do ListenableFuture-style rpc calls to service Control.
ControlGrpc.ControlImplBase - Class in atessera.sensei.grpc: Base class for the server implementation of the service Control.
ControlGrpc.ControlStub - Class in atessera.sensei.grpc: A stub to allow clients to do asynchronous rpc calls to service Control.
ControlImplBase() - Constructor for class atessera.sensei.grpc.ControlGrpc.ControlImplBase
cpus - Variable in class atessera.sensei.model.ResourceQuota: CPU limit in virtual cores.
create(ChatModel) - Static method in interface atessera.sensei.agents.NoCommandNotifier: Creates a new instance of NoCommandNotifier.
create(ChatModel, SourceCodeReader) - Static method in interface atessera.sensei.agents.DirectorySelector: Creates a new instance of DirectorySelector.
create(ChatModel, SourceCodeReader) - Static method in interface atessera.sensei.agents.RunCommandDetector: Creates a new instance of RunCommandDetector.
create(ChatModel, SourceCodeReader) - Static method in interface atessera.sensei.agents.TaskConforming: Creates a new instance of TaskConforming.
create(ChatModel, SourceCodeReader) - Static method in interface atessera.sensei.agents.TaskScorer: Creates a new instance of TaskScorer.
createSample() - Static method in class atessera.sensei.SenseiConfig: Creates a configuration with sample values for every field.
Cron - Class in atessera.sensei: Runs Cron.work() periodically on a dedicated daemon thread.
Cron(int) - Constructor for class atessera.sensei.Cron: Creates and starts a cron worker.

D

describeTaskConforming(String, String, String, String, String) - Method in interface atessera.sensei.agents.TaskConforming
detectRunCommand(String, String) - Method in interface atessera.sensei.agents.RunCommandDetector
DirectorySelector - Interface in atessera.sensei.agents: Finds a laboratory work directory using an LLM agent.
DockerContainer - Class in atessera.sensei.util: Represents a Docker container managed by DockerRunner.
DockerContainer(String, String, ResourceQuota) - Constructor for class atessera.sensei.util.DockerContainer: Creates a new Docker container reference.
DockerRunner - Class in atessera.sensei.util: Runs commands inside resource limited Docker containers.
DockerRunner(String) - Constructor for class atessera.sensei.util.DockerRunner: Creates a runner.
DockerRunResult - Class in atessera.sensei.util: Result of running a command inside a Docker container.
DockerRunResult(int, String) - Constructor for class atessera.sensei.util.DockerRunResult: Creates a run result.

E

equals(Object) - Method in class atessera.sensei.grpc.AddStudentReply
equals(Object) - Method in class atessera.sensei.grpc.AddStudentRequest
equals(Object) - Method in class atessera.sensei.grpc.TerminateReply
equals(Object) - Method in class atessera.sensei.grpc.TerminateRequest
equals(Object) - Method in class atessera.sensei.model.CheckResult
equals(Object) - Method in class atessera.sensei.model.CheckRun
equals(Object) - Method in class atessera.sensei.model.LabWork
equals(Object) - Method in class atessera.sensei.model.Student
exitCode - Variable in class atessera.sensei.util.DockerRunResult: Exit code returned by the command.

F

FAILED - Enum constant in enum class atessera.sensei.model.CheckRun.Status
find(String, String, String) - Method in interface atessera.sensei.agents.DirectorySelector
FINISHED - Enum constant in enum class atessera.sensei.model.CheckRun.Status
from - Variable in class atessera.sensei.SenseiConfig.Smtp

G

getAddStudentMethod() - Static method in class atessera.sensei.grpc.ControlGrpc
getAssignedLabWorks() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string assignedLabWorks = 3;
getAssignedLabWorks() - Method in class atessera.sensei.grpc.AddStudentRequest: string assignedLabWorks = 3;
getAssignedLabWorks() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string assignedLabWorks = 3;
getAssignedLabWorksBytes() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string assignedLabWorks = 3;
getAssignedLabWorksBytes() - Method in class atessera.sensei.grpc.AddStudentRequest: string assignedLabWorks = 3;
getAssignedLabWorksBytes() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string assignedLabWorks = 3;
getCommitId() - Method in class atessera.sensei.model.CheckRun
getCreatedAt() - Method in class atessera.sensei.model.CheckRun
getDefaultInstance() - Static method in class atessera.sensei.grpc.AddStudentReply
getDefaultInstance() - Static method in class atessera.sensei.grpc.AddStudentRequest
getDefaultInstance() - Static method in class atessera.sensei.grpc.TerminateReply
getDefaultInstance() - Static method in class atessera.sensei.grpc.TerminateRequest
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.AddStudentReply
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.AddStudentRequest
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.TerminateReply.Builder
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.TerminateReply
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
getDefaultInstanceForType() - Method in class atessera.sensei.grpc.TerminateRequest
getDescriptor() - Static method in class atessera.sensei.grpc.AddStudentReply.Builder
getDescriptor() - Static method in class atessera.sensei.grpc.AddStudentReply
getDescriptor() - Static method in class atessera.sensei.grpc.AddStudentRequest.Builder
getDescriptor() - Static method in class atessera.sensei.grpc.AddStudentRequest
getDescriptor() - Static method in class atessera.sensei.grpc.SenseiProto
getDescriptor() - Static method in class atessera.sensei.grpc.TerminateReply.Builder
getDescriptor() - Static method in class atessera.sensei.grpc.TerminateReply
getDescriptor() - Static method in class atessera.sensei.grpc.TerminateRequest.Builder
getDescriptor() - Static method in class atessera.sensei.grpc.TerminateRequest
getDescriptorForType() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
getDescriptorForType() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
getDescriptorForType() - Method in class atessera.sensei.grpc.TerminateReply.Builder
getDescriptorForType() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
getErrorMessage() - Method in class atessera.sensei.model.CheckRun
getGroup() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: int32 group = 4;
getGroup() - Method in class atessera.sensei.grpc.AddStudentRequest: int32 group = 4;
getGroup() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: int32 group = 4;
getGroup() - Method in class atessera.sensei.model.Student
getId() - Method in class atessera.sensei.model.LabWork
getLabId() - Method in class atessera.sensei.model.CheckRun
getLang() - Method in class atessera.sensei.model.LabWork
getLastChecked() - Method in class atessera.sensei.model.Student
getLocalGitRepo() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string localGitRepo = 5;
getLocalGitRepo() - Method in class atessera.sensei.grpc.AddStudentRequest: string localGitRepo = 5;
getLocalGitRepo() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string localGitRepo = 5;
getLocalGitRepo() - Method in class atessera.sensei.model.Student
getLocalGitRepoBytes() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string localGitRepo = 5;
getLocalGitRepoBytes() - Method in class atessera.sensei.grpc.AddStudentRequest: string localGitRepo = 5;
getLocalGitRepoBytes() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string localGitRepo = 5;
getLogs() - Method in class atessera.sensei.util.DockerContainer: Captures current container logs (stdout and stderr), truncated to quota.maxLogBytes.
getMail() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string mail = 1;
getMail() - Method in class atessera.sensei.grpc.AddStudentRequest: string mail = 1;
getMail() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string mail = 1;
getMail() - Method in class atessera.sensei.model.Student
getMailBytes() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string mail = 1;
getMailBytes() - Method in class atessera.sensei.grpc.AddStudentRequest: string mail = 1;
getMailBytes() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string mail = 1;
getMatchingScore() - Method in class atessera.sensei.model.CheckResult
getMessage() - Method in class atessera.sensei.grpc.AddStudentReply.Builder: string message = 2;
getMessage() - Method in class atessera.sensei.grpc.AddStudentReply: string message = 2;
getMessage() - Method in interface atessera.sensei.grpc.AddStudentReplyOrBuilder: string message = 2;
getMessageBytes() - Method in class atessera.sensei.grpc.AddStudentReply.Builder: string message = 2;
getMessageBytes() - Method in class atessera.sensei.grpc.AddStudentReply: string message = 2;
getMessageBytes() - Method in interface atessera.sensei.grpc.AddStudentReplyOrBuilder: string message = 2;
getName() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string name = 2;
getName() - Method in class atessera.sensei.grpc.AddStudentRequest: string name = 2;
getName() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string name = 2;
getName() - Method in class atessera.sensei.model.Student
getNameBytes() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string name = 2;
getNameBytes() - Method in class atessera.sensei.grpc.AddStudentRequest: string name = 2;
getNameBytes() - Method in interface atessera.sensei.grpc.AddStudentRequestOrBuilder: string name = 2;
getNum() - Method in class atessera.sensei.model.LabWork
getParserForType() - Method in class atessera.sensei.grpc.AddStudentReply
getParserForType() - Method in class atessera.sensei.grpc.AddStudentRequest
getParserForType() - Method in class atessera.sensei.grpc.TerminateReply
getParserForType() - Method in class atessera.sensei.grpc.TerminateRequest
getResult() - Method in class atessera.sensei.model.CheckRun
getSerializedSize() - Method in class atessera.sensei.grpc.AddStudentReply
getSerializedSize() - Method in class atessera.sensei.grpc.AddStudentRequest
getSerializedSize() - Method in class atessera.sensei.grpc.TerminateReply
getSerializedSize() - Method in class atessera.sensei.grpc.TerminateRequest
getServiceDescriptor() - Static method in class atessera.sensei.grpc.ControlGrpc
getStatement() - Method in class atessera.sensei.model.LabWork
getStatus() - Method in class atessera.sensei.model.CheckRun
getStudents() - Method in class atessera.sensei.util.Persistence
getSubject() - Method in class atessera.sensei.model.LabWork
getSuccess() - Method in class atessera.sensei.grpc.AddStudentReply.Builder: bool success = 1;
getSuccess() - Method in class atessera.sensei.grpc.AddStudentReply: bool success = 1;
getSuccess() - Method in interface atessera.sensei.grpc.AddStudentReplyOrBuilder: bool success = 1;
getTerminateMethod() - Static method in class atessera.sensei.grpc.ControlGrpc
getVerdict() - Method in class atessera.sensei.model.CheckResult
GitRepository - Class in atessera.sensei.git: A local clone of a student git repository.
GitRepository(String, String, Path) - Constructor for class atessera.sensei.git.GitRepository: Clones a repository into a fresh temporary directory.
GROUP_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentRequest
GrpcServer - Class in atessera.sensei.grpc
GrpcServer(int) - Constructor for class atessera.sensei.grpc.GrpcServer

H

hashCode() - Method in class atessera.sensei.grpc.AddStudentReply
hashCode() - Method in class atessera.sensei.grpc.AddStudentRequest
hashCode() - Method in class atessera.sensei.grpc.TerminateReply
hashCode() - Method in class atessera.sensei.grpc.TerminateRequest
hashCode() - Method in class atessera.sensei.model.CheckResult
hashCode() - Method in class atessera.sensei.model.CheckRun
hashCode() - Method in class atessera.sensei.model.LabWork
hashCode() - Method in class atessera.sensei.model.Student
hasOpenAiKey() - Method in class atessera.sensei.SenseiConfig: Checks whether an OpenAI API key is available.
hasSmtp() - Method in class atessera.sensei.SenseiConfig: Checks whether SMTP settings look sufficient for sending mail.
host - Variable in class atessera.sensei.SenseiConfig.Smtp

I

id() - Method in class atessera.sensei.util.DockerContainer: Returns the container identifier.
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.AddStudentReply
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.AddStudentRequest
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.TerminateReply.Builder
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.TerminateReply
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
internalGetFieldAccessorTable() - Method in class atessera.sensei.grpc.TerminateRequest
isAccepted() - Method in class atessera.sensei.model.CheckResult
isAvailable() - Method in class atessera.sensei.util.LlmService: Checks whether LLM integration is configured and available.
isAvailable() - Method in class atessera.sensei.util.MailSender: Checks whether SMTP is configured well enough to send mail.
isCompilationPassed() - Method in class atessera.sensei.model.CheckResult
isInitialized() - Method in class atessera.sensei.grpc.AddStudentReply.Builder
isInitialized() - Method in class atessera.sensei.grpc.AddStudentReply
isInitialized() - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
isInitialized() - Method in class atessera.sensei.grpc.AddStudentRequest
isInitialized() - Method in class atessera.sensei.grpc.TerminateReply.Builder
isInitialized() - Method in class atessera.sensei.grpc.TerminateReply
isInitialized() - Method in class atessera.sensei.grpc.TerminateRequest.Builder
isInitialized() - Method in class atessera.sensei.grpc.TerminateRequest
isRunning() - Method in class atessera.sensei.util.DockerContainer: Checks whether the container is currently running.
isRunPassed() - Method in class atessera.sensei.model.CheckResult
isSourceFound() - Method in class atessera.sensei.model.CheckResult
isSuspended() - Method in class atessera.sensei.model.Student

K

kill() - Method in class atessera.sensei.util.DockerContainer: Forces immediate container termination using docker kill.

L

LabWork - Class in atessera.sensei.model
LabWork() - Constructor for class atessera.sensei.model.LabWork
LabWork(String, String, String, String, int) - Constructor for class atessera.sensei.model.LabWork
listFiles(String) - Method in class atessera.sensei.tools.SourceCodeReader: Lists files in a subdirectory of the base directory.
LlmService - Class in atessera.sensei.util
LlmService(SenseiConfig) - Constructor for class atessera.sensei.util.LlmService
load(Path) - Static method in class atessera.sensei.SenseiConfig: Loads the configuration from a JSON file.
LOCALGITREPO_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentRequest

M

MAIL_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentRequest
MailSender - Class in atessera.sensei.util: Sends reports to students by e-mail.
MailSender(SenseiConfig) - Constructor for class atessera.sensei.util.MailSender: Creates a mail sender.
main(String[]) - Static method in class atessera.sensei.SenseiMain
maxLogBytes - Variable in class atessera.sensei.model.ResourceQuota: Maximum log output size in bytes captured from the container to prevent memory abuse.
memoryMb - Variable in class atessera.sensei.model.ResourceQuota: Memory limit in megabytes.
mergeFrom(AddStudentReply) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
mergeFrom(AddStudentRequest) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
mergeFrom(TerminateReply) - Method in class atessera.sensei.grpc.TerminateReply.Builder
mergeFrom(TerminateRequest) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
mergeFrom(CodedInputStream, ExtensionRegistryLite) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
mergeFrom(CodedInputStream, ExtensionRegistryLite) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
mergeFrom(CodedInputStream, ExtensionRegistryLite) - Method in class atessera.sensei.grpc.TerminateReply.Builder
mergeFrom(CodedInputStream, ExtensionRegistryLite) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
mergeFrom(Message) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
mergeFrom(Message) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
mergeFrom(Message) - Method in class atessera.sensei.grpc.TerminateReply.Builder
mergeFrom(Message) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
mergeUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
mergeUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
mergeUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.TerminateReply.Builder
mergeUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
MESSAGE_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentReply
mvStorePath - Variable in class atessera.sensei.SenseiConfig: Path to the MVStore database file.

N

NAME_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentRequest
networkDisabled - Variable in class atessera.sensei.model.ResourceQuota: When true, the container has no network access.
newBlockingStub(Channel) - Static method in class atessera.sensei.grpc.ControlGrpc: Creates a new blocking-style stub that supports unary and streaming output calls on the service
newBlockingV2Stub(Channel) - Static method in class atessera.sensei.grpc.ControlGrpc: Creates a new blocking-style stub that supports all types of calls on the service
newBuilder() - Static method in class atessera.sensei.grpc.AddStudentReply
newBuilder() - Static method in class atessera.sensei.grpc.AddStudentRequest
newBuilder() - Static method in class atessera.sensei.grpc.TerminateReply
newBuilder() - Static method in class atessera.sensei.grpc.TerminateRequest
newBuilder(AddStudentReply) - Static method in class atessera.sensei.grpc.AddStudentReply
newBuilder(AddStudentRequest) - Static method in class atessera.sensei.grpc.AddStudentRequest
newBuilder(TerminateReply) - Static method in class atessera.sensei.grpc.TerminateReply
newBuilder(TerminateRequest) - Static method in class atessera.sensei.grpc.TerminateRequest
newBuilderForType() - Method in class atessera.sensei.grpc.AddStudentReply
newBuilderForType() - Method in class atessera.sensei.grpc.AddStudentRequest
newBuilderForType() - Method in class atessera.sensei.grpc.TerminateReply
newBuilderForType() - Method in class atessera.sensei.grpc.TerminateRequest
newBuilderForType(GeneratedMessageV3.BuilderParent) - Method in class atessera.sensei.grpc.AddStudentReply
newBuilderForType(GeneratedMessageV3.BuilderParent) - Method in class atessera.sensei.grpc.AddStudentRequest
newBuilderForType(GeneratedMessageV3.BuilderParent) - Method in class atessera.sensei.grpc.TerminateReply
newBuilderForType(GeneratedMessageV3.BuilderParent) - Method in class atessera.sensei.grpc.TerminateRequest
newChatModel() - Method in class atessera.sensei.util.LlmService
newFutureStub(Channel) - Static method in class atessera.sensei.grpc.ControlGrpc: Creates a new ListenableFuture-style stub that supports unary calls on the service
newInstance(GeneratedMessageV3.UnusedPrivateParameter) - Method in class atessera.sensei.grpc.AddStudentReply
newInstance(GeneratedMessageV3.UnusedPrivateParameter) - Method in class atessera.sensei.grpc.AddStudentRequest
newInstance(GeneratedMessageV3.UnusedPrivateParameter) - Method in class atessera.sensei.grpc.TerminateReply
newInstance(GeneratedMessageV3.UnusedPrivateParameter) - Method in class atessera.sensei.grpc.TerminateRequest
newStub(Channel) - Static method in class atessera.sensei.grpc.ControlGrpc: Creates a new async stub that supports all call types for the service
NoCommandNotifier - Interface in atessera.sensei.agents: Agent that generates a poetic UNIX/Bushido styled message when no execution command could be detected.
noNewPrivileges - Variable in class atessera.sensei.model.ResourceQuota: When true, privilege escalation inside the container is forbidden.
notifyNoCommand(String, String, String) - Method in interface atessera.sensei.agents.NoCommandNotifier

O

openAiApiKey - Variable in class atessera.sensei.SenseiConfig: API key used to access the OpenAI compatible endpoint.
openAiBaseUrl - Variable in class atessera.sensei.SenseiConfig: Base URL of the OpenAI compatible API.
openAiModel - Variable in class atessera.sensei.SenseiConfig: Chat model name used for code review and verdict summarization.
output - Variable in class atessera.sensei.util.DockerRunResult: Combined standard output and error text.

P

parseDelimitedFrom(InputStream) - Static method in class atessera.sensei.grpc.AddStudentReply
parseDelimitedFrom(InputStream) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseDelimitedFrom(InputStream) - Static method in class atessera.sensei.grpc.TerminateReply
parseDelimitedFrom(InputStream) - Static method in class atessera.sensei.grpc.TerminateRequest
parseDelimitedFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseDelimitedFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseDelimitedFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseDelimitedFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(byte[]) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(byte[]) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(byte[]) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(byte[]) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(byte[], ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(byte[], ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(byte[], ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(byte[], ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(ByteString) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(ByteString) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(ByteString) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(ByteString) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(ByteString, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(ByteString, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(ByteString, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(ByteString, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(CodedInputStream) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(CodedInputStream) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(CodedInputStream) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(CodedInputStream) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(CodedInputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(CodedInputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(CodedInputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(CodedInputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(InputStream) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(InputStream) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(InputStream) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(InputStream) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(InputStream, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(ByteBuffer) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(ByteBuffer) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(ByteBuffer) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(ByteBuffer) - Static method in class atessera.sensei.grpc.TerminateRequest
parseFrom(ByteBuffer, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentReply
parseFrom(ByteBuffer, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.AddStudentRequest
parseFrom(ByteBuffer, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateReply
parseFrom(ByteBuffer, ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.TerminateRequest
parser() - Static method in class atessera.sensei.grpc.AddStudentReply
parser() - Static method in class atessera.sensei.grpc.AddStudentRequest
parser() - Static method in class atessera.sensei.grpc.TerminateReply
parser() - Static method in class atessera.sensei.grpc.TerminateRequest
password - Variable in class atessera.sensei.SenseiConfig.Smtp
path() - Method in class atessera.sensei.git.GitRepository: Returns the root directory of the clone.
PENDING - Enum constant in enum class atessera.sensei.model.CheckRun.Status
Persistence - Class in atessera.sensei.util
Persistence(String) - Constructor for class atessera.sensei.util.Persistence
Persistence(Path) - Constructor for class atessera.sensei.util.Persistence
pidsLimit - Variable in class atessera.sensei.model.ResourceQuota: Maximum number of processes/threads inside the container.
port - Variable in class atessera.sensei.SenseiConfig.Smtp
put(String, Student) - Method in class atessera.sensei.util.Persistence

R

readFile(String) - Method in class atessera.sensei.tools.SourceCodeReader: Reads a file by its path relative to the base directory.
readOnlyRootFs - Variable in class atessera.sensei.model.ResourceQuota: When true, the container root filesystem is read-only.
registerAllExtensions(ExtensionRegistry) - Static method in class atessera.sensei.grpc.SenseiProto
registerAllExtensions(ExtensionRegistryLite) - Static method in class atessera.sensei.grpc.SenseiProto
remove() - Method in class atessera.sensei.util.DockerContainer: Forces removal of the container using docker rm -f.
ResourceQuota - Class in atessera.sensei.model: Resource limits applied to a Docker container during a check.
ResourceQuota() - Constructor for class atessera.sensei.model.ResourceQuota
review() - Method in class atessera.sensei.agents.Reviewer
Reviewer - Class in atessera.sensei.agents
Reviewer(ChatModel, LabWork, Student) - Constructor for class atessera.sensei.agents.Reviewer
run(String, String, String) - Method in class atessera.sensei.agents.Reviewer
run(String, Path, ResourceQuota, String) - Method in class atessera.sensei.util.DockerRunner: Synchronously runs a command in a background container, waits for completion, captures logs, and cleans up.
runCommand(String) - Method in class atessera.sensei.tools.Runner: Executes a command in the workspace directory.
RunCommandDetector - Interface in atessera.sensei.agents: Agent that examines the workspace files to determine the shell command needed to run the laboratory work.
Runner - Class in atessera.sensei.tools: LangChain4j tool for running laboratory commands inside execution environments.
Runner(Path) - Constructor for class atessera.sensei.tools.Runner: Creates a runner tool rooted at the specified base directory.

S

save(Path) - Method in class atessera.sensei.SenseiConfig: Writes the configuration to a JSON file.
score(String, String, String) - Method in interface atessera.sensei.agents.TaskScorer
send(String, String, String) - Method in class atessera.sensei.util.MailSender: Sends a report mail message.
SenseiConfig - Class in atessera.sensei: Global configuration of the laboratory checking system.
SenseiConfig() - Constructor for class atessera.sensei.SenseiConfig
SenseiConfig.Smtp - Class in atessera.sensei: SMTP related settings.
SenseiMain - Class in atessera.sensei
SenseiProto - Class in atessera.sensei.grpc
SERVICE_NAME - Static variable in class atessera.sensei.grpc.ControlGrpc
setAccepted(boolean) - Method in class atessera.sensei.model.CheckResult
setAssignedLabWorks(String) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string assignedLabWorks = 3;
setAssignedLabWorksBytes(ByteString) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string assignedLabWorks = 3;
setCommitId(String) - Method in class atessera.sensei.model.CheckRun
setCompilationPassed(boolean) - Method in class atessera.sensei.model.CheckResult
setCreatedAt(long) - Method in class atessera.sensei.model.CheckRun
setErrorMessage(String) - Method in class atessera.sensei.model.CheckRun
setField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
setField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
setField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.TerminateReply.Builder
setField(Descriptors.FieldDescriptor, Object) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
setGroup(int) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: int32 group = 4;
setGroup(int) - Method in class atessera.sensei.model.Student
setId(String) - Method in class atessera.sensei.model.LabWork
setLabId(String) - Method in class atessera.sensei.model.CheckRun
setLang(String) - Method in class atessera.sensei.model.LabWork
setLastChecked(long) - Method in class atessera.sensei.model.Student
setLocalGitRepo(String) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string localGitRepo = 5;
setLocalGitRepo(String) - Method in class atessera.sensei.model.Student
setLocalGitRepoBytes(ByteString) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string localGitRepo = 5;
setMail(String) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string mail = 1;
setMail(String) - Method in class atessera.sensei.model.Student
setMailBytes(ByteString) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string mail = 1;
setMatchingScore(int) - Method in class atessera.sensei.model.CheckResult
setMessage(String) - Method in class atessera.sensei.grpc.AddStudentReply.Builder: string message = 2;
setMessageBytes(ByteString) - Method in class atessera.sensei.grpc.AddStudentReply.Builder: string message = 2;
setName(String) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string name = 2;
setName(String) - Method in class atessera.sensei.model.Student
setNameBytes(ByteString) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder: string name = 2;
setNum(int) - Method in class atessera.sensei.model.LabWork
setRepeatedField(Descriptors.FieldDescriptor, int, Object) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
setRepeatedField(Descriptors.FieldDescriptor, int, Object) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
setRepeatedField(Descriptors.FieldDescriptor, int, Object) - Method in class atessera.sensei.grpc.TerminateReply.Builder
setRepeatedField(Descriptors.FieldDescriptor, int, Object) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
setResult(CheckResult) - Method in class atessera.sensei.model.CheckRun
setRunPassed(boolean) - Method in class atessera.sensei.model.CheckResult
setSourceFound(boolean) - Method in class atessera.sensei.model.CheckResult
setStatement(String) - Method in class atessera.sensei.model.LabWork
setStatus(CheckRun.Status) - Method in class atessera.sensei.model.CheckRun
setSubject(String) - Method in class atessera.sensei.model.LabWork
setSuccess(boolean) - Method in class atessera.sensei.grpc.AddStudentReply.Builder: bool success = 1;
setSuspended(boolean) - Method in class atessera.sensei.model.Student
setUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.AddStudentReply.Builder
setUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.AddStudentRequest.Builder
setUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.TerminateReply.Builder
setUnknownFields(UnknownFieldSet) - Method in class atessera.sensei.grpc.TerminateRequest.Builder
setVerdict(String) - Method in class atessera.sensei.model.CheckResult
smtp - Variable in class atessera.sensei.SenseiConfig: SMTP settings used for sending result e-mails.
Smtp() - Constructor for class atessera.sensei.SenseiConfig.Smtp
SourceCodeReader - Class in atessera.sensei.tools: LangChain4j tools that expose files inside a base directory.
SourceCodeReader(Path) - Constructor for class atessera.sensei.tools.SourceCodeReader: Creates a reader rooted at the given directory.
start() - Method in class atessera.sensei.grpc.GrpcServer
start(String, Path, ResourceQuota, String) - Method in class atessera.sensei.util.DockerRunner: Starts a command inside a background Docker container and returns a handle for monitoring and cleanup.
stop(long) - Method in class atessera.sensei.util.DockerContainer: Gracefully stops the container with a timeout.
stopTimeoutSeconds - Variable in class atessera.sensei.model.ResourceQuota: Timeout in seconds for graceful container shutdown (docker stop).
Student - Class in atessera.sensei.model
Student() - Constructor for class atessera.sensei.model.Student
Student(String, String, String, int, boolean, long) - Constructor for class atessera.sensei.model.Student
success() - Method in class atessera.sensei.util.DockerRunResult: Returns true when the command finished successfully.
SUCCESS_FIELD_NUMBER - Static variable in class atessera.sensei.grpc.AddStudentReply

T

TaskConforming - Interface in atessera.sensei.agents: Agent that provides structured, styled review feedback for a laboratory submission.
TaskScorer - Interface in atessera.sensei.agents: Agent that evaluates student source code against task requirements and returns a numerical score from 0 to 10.
terminate(TerminateRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingStub
terminate(TerminateRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlBlockingV2Stub
terminate(TerminateRequest) - Method in class atessera.sensei.grpc.ControlGrpc.ControlFutureStub
terminate(TerminateRequest, StreamObserver<TerminateReply>) - Method in interface atessera.sensei.grpc.ControlGrpc.AsyncService
terminate(TerminateRequest, StreamObserver<TerminateReply>) - Method in class atessera.sensei.grpc.ControlGrpc.ControlStub
TerminateReply - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.TerminateReply
TerminateReply.Builder - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.TerminateReply
TerminateReplyOrBuilder - Interface in atessera.sensei.grpc
TerminateRequest - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.TerminateRequest
TerminateRequest.Builder - Class in atessera.sensei.grpc: Protobuf type atessera.sensei.grpc.TerminateRequest
TerminateRequestOrBuilder - Interface in atessera.sensei.grpc
timeoutSeconds - Variable in class atessera.sensei.model.ResourceQuota: Maximum wall clock execution time in seconds.
tmpfsSize - Variable in class atessera.sensei.model.ResourceQuota: Size of the temporary filesystem mounted when readOnlyRootFs is enabled.
toBuilder() - Method in class atessera.sensei.grpc.AddStudentReply
toBuilder() - Method in class atessera.sensei.grpc.AddStudentRequest
toBuilder() - Method in class atessera.sensei.grpc.TerminateReply
toBuilder() - Method in class atessera.sensei.grpc.TerminateRequest
toString() - Method in class atessera.sensei.model.CheckResult
toString() - Method in class atessera.sensei.model.CheckRun
toString() - Method in class atessera.sensei.model.LabWork
toString() - Method in class atessera.sensei.model.Student

U

username - Variable in class atessera.sensei.SenseiConfig.Smtp
useTls - Variable in class atessera.sensei.SenseiConfig.Smtp

V

valueOf(String) - Static method in enum class atessera.sensei.model.CheckRun.Status: Returns the enum constant of this class with the specified name.
values() - Static method in enum class atessera.sensei.model.CheckRun.Status: Returns an array containing the constants of this enum class, in the order they are declared.

W

waitFor(long) - Method in class atessera.sensei.util.DockerContainer: Waits for the container to finish execution within the specified timeout.
work() - Method in class atessera.sensei.Cron: Periodic job executed by the worker thread.
writeTo(CodedOutputStream) - Method in class atessera.sensei.grpc.AddStudentReply
writeTo(CodedOutputStream) - Method in class atessera.sensei.grpc.AddStudentRequest
writeTo(CodedOutputStream) - Method in class atessera.sensei.grpc.TerminateReply
writeTo(CodedOutputStream) - Method in class atessera.sensei.grpc.TerminateRequest

A B C D E F G H I K L M N O P R S T U V W
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form