Rename GlobalEnv

This commit is contained in:
jarlob
2023-04-13 23:13:56 +02:00
parent a8a6913512
commit 76834cbe53

View File

@@ -110,11 +110,11 @@ module Actions {
}
/** A workflow level 'global' environment variable. */
class GlobalEnv extends Env {
class WorkflowEnvVariable extends Env {
string envName;
Workflow workflow;
GlobalEnv() { this = workflow.getEnv().lookup(envName) }
WorkflowEnvVariable() { this = workflow.getEnv().lookup(envName) }
/** Gets the workflow this field belongs to. */
Workflow getWorkflow() { result = workflow }