From b4b0b8efc27978559486fb73527b318cb83af828 Mon Sep 17 00:00:00 2001 From: Shaokai Jerry Lin Date: Mon, 18 Nov 2024 17:39:59 -0800 Subject: [PATCH] Remove some author tags for anonymity --- .../java/org/lflang/tests/lsp/MockCancelIndicator.java | 2 +- core/src/main/java/org/lflang/AttributeUtils.java | 2 +- .../main/java/org/lflang/analyses/c/AbstractAstVisitor.java | 2 +- core/src/main/java/org/lflang/analyses/c/AstUtils.java | 2 +- core/src/main/java/org/lflang/analyses/c/AstVisitor.java | 2 +- .../java/org/lflang/analyses/c/BuildAstParseTreeVisitor.java | 2 +- core/src/main/java/org/lflang/analyses/c/CAst.java | 2 +- core/src/main/java/org/lflang/analyses/c/CAstVisitor.java | 2 +- core/src/main/java/org/lflang/analyses/c/CBaseAstVisitor.java | 2 +- core/src/main/java/org/lflang/analyses/c/CToUclidVisitor.java | 2 +- .../java/org/lflang/analyses/c/IfNormalFormAstVisitor.java | 2 +- .../java/org/lflang/analyses/c/VariablePrecedenceVisitor.java | 2 +- core/src/main/java/org/lflang/analyses/c/Visitable.java | 2 +- core/src/main/java/org/lflang/analyses/dag/Dag.java | 4 ++-- core/src/main/java/org/lflang/analyses/dag/DagEdge.java | 2 +- core/src/main/java/org/lflang/analyses/dag/DagGenerator.java | 4 ++-- core/src/main/java/org/lflang/analyses/dag/DagNode.java | 4 ++-- core/src/main/java/org/lflang/analyses/dag/DagNodePair.java | 2 +- .../java/org/lflang/analyses/pretvm/InstructionGenerator.java | 2 +- .../java/org/lflang/analyses/pretvm/PretVmExecutable.java | 2 +- .../src/main/java/org/lflang/analyses/pretvm/PretVmLabel.java | 2 +- .../java/org/lflang/analyses/pretvm/PretVmObjectFile.java | 2 +- .../org/lflang/analyses/pretvm/instructions/Instruction.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionADD.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionADDI.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionBEQ.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionBGE.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionBLT.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionBNE.java | 2 +- .../analyses/pretvm/instructions/InstructionBranchBase.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionDU.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionEXE.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionJAL.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionJALR.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionSTP.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionWLT.java | 2 +- .../lflang/analyses/pretvm/instructions/InstructionWU.java | 2 +- .../main/java/org/lflang/analyses/scheduler/EgsScheduler.java | 4 ++-- .../org/lflang/analyses/scheduler/LoadBalancedScheduler.java | 2 +- .../java/org/lflang/analyses/scheduler/MocasinScheduler.java | 2 +- .../java/org/lflang/analyses/scheduler/StaticScheduler.java | 2 +- .../org/lflang/analyses/scheduler/StaticSchedulerUtils.java | 2 +- core/src/main/java/org/lflang/analyses/statespace/Event.java | 2 +- .../main/java/org/lflang/analyses/statespace/EventQueue.java | 2 +- .../main/java/org/lflang/analyses/statespace/StateInfo.java | 2 +- .../org/lflang/analyses/statespace/StateSpaceDiagram.java | 2 +- .../org/lflang/analyses/statespace/StateSpaceExplorer.java | 2 +- .../org/lflang/analyses/statespace/StateSpaceFragment.java | 2 +- .../java/org/lflang/analyses/statespace/StateSpaceNode.java | 2 +- .../java/org/lflang/analyses/statespace/StateSpaceUtils.java | 2 +- core/src/main/java/org/lflang/analyses/statespace/Tag.java | 2 +- core/src/main/java/org/lflang/analyses/uclid/MTLVisitor.java | 2 +- .../main/java/org/lflang/analyses/uclid/UclidGenerator.java | 2 +- core/src/main/java/org/lflang/analyses/uclid/UclidRunner.java | 2 +- .../java/org/lflang/target/property/SchedulerProperty.java | 2 +- .../org/lflang/target/property/type/StaticSchedulerType.java | 2 +- core/src/main/java/org/lflang/validation/AttributeSpec.java | 2 +- test/C/src/static/LargeDeadline.lf | 2 +- test/C/src/static/RaceCondition.lf | 4 ++-- test/C/src/static/RaceCondition2.lf | 4 ++-- 60 files changed, 66 insertions(+), 66 deletions(-) diff --git a/core/src/integrationTest/java/org/lflang/tests/lsp/MockCancelIndicator.java b/core/src/integrationTest/java/org/lflang/tests/lsp/MockCancelIndicator.java index 9fe243d481..c7257c6ea5 100644 --- a/core/src/integrationTest/java/org/lflang/tests/lsp/MockCancelIndicator.java +++ b/core/src/integrationTest/java/org/lflang/tests/lsp/MockCancelIndicator.java @@ -5,7 +5,7 @@ /** * Mock the CancelIndicator interface for testing. * - * @author Erling Jellum + * */ public class MockCancelIndicator implements CancelIndicator { @Override diff --git a/core/src/main/java/org/lflang/AttributeUtils.java b/core/src/main/java/org/lflang/AttributeUtils.java index 323f56ccd8..c4dbabe962 100644 --- a/core/src/main/java/org/lflang/AttributeUtils.java +++ b/core/src/main/java/org/lflang/AttributeUtils.java @@ -43,7 +43,7 @@ /** * A helper class for processing attributes in the AST. * - * @author Shaokai Lin + * * @author Clément Fournier * @author Alexander Schulz-Rosengarten */ diff --git a/core/src/main/java/org/lflang/analyses/c/AbstractAstVisitor.java b/core/src/main/java/org/lflang/analyses/c/AbstractAstVisitor.java index d66b538911..3aa650f66c 100644 --- a/core/src/main/java/org/lflang/analyses/c/AbstractAstVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/AbstractAstVisitor.java @@ -5,7 +5,7 @@ /** * Modeled after {@link AbstractParseTreeVisitor}. * - * @author Shaokai Lin + * */ public abstract class AbstractAstVisitor implements AstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/AstUtils.java b/core/src/main/java/org/lflang/analyses/c/AstUtils.java index 5d014e7fbb..fdd1123a22 100644 --- a/core/src/main/java/org/lflang/analyses/c/AstUtils.java +++ b/core/src/main/java/org/lflang/analyses/c/AstUtils.java @@ -7,7 +7,7 @@ /** * A utility class for C ASTs * - * @author Shaokai Lin + * */ public class AstUtils { diff --git a/core/src/main/java/org/lflang/analyses/c/AstVisitor.java b/core/src/main/java/org/lflang/analyses/c/AstVisitor.java index e090b75a65..b346813c3d 100644 --- a/core/src/main/java/org/lflang/analyses/c/AstVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/AstVisitor.java @@ -5,7 +5,7 @@ /** * Modeled after ParseTreeVisitor.class * - * @author Shaokai Lin + * */ public interface AstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/BuildAstParseTreeVisitor.java b/core/src/main/java/org/lflang/analyses/c/BuildAstParseTreeVisitor.java index fe2355da61..d214124800 100644 --- a/core/src/main/java/org/lflang/analyses/c/BuildAstParseTreeVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/BuildAstParseTreeVisitor.java @@ -10,7 +10,7 @@ /** * This visitor class builds an AST from the parse tree of a C program * - * @author Shaokai Lin + * */ public class BuildAstParseTreeVisitor extends CBaseVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/CAst.java b/core/src/main/java/org/lflang/analyses/c/CAst.java index 407fc769bb..dc29b4ece8 100644 --- a/core/src/main/java/org/lflang/analyses/c/CAst.java +++ b/core/src/main/java/org/lflang/analyses/c/CAst.java @@ -6,7 +6,7 @@ /** * C AST class that contains definitions for AST nodes * - * @author Shaokai Lin + * */ public class CAst { diff --git a/core/src/main/java/org/lflang/analyses/c/CAstVisitor.java b/core/src/main/java/org/lflang/analyses/c/CAstVisitor.java index c79e84d63b..abb2fd016f 100644 --- a/core/src/main/java/org/lflang/analyses/c/CAstVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/CAstVisitor.java @@ -5,7 +5,7 @@ /** * Modeled after CVisitor.java * - * @author Shaokai Lin + * */ public interface CAstVisitor extends AstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/CBaseAstVisitor.java b/core/src/main/java/org/lflang/analyses/c/CBaseAstVisitor.java index de605c69ed..6f6d27be59 100644 --- a/core/src/main/java/org/lflang/analyses/c/CBaseAstVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/CBaseAstVisitor.java @@ -6,7 +6,7 @@ * A base class that provides default implementations of the visit functions. Other C AST visitors * extend this class. * - * @author Shaokai Lin + * */ public class CBaseAstVisitor extends AbstractAstVisitor implements CAstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/CToUclidVisitor.java b/core/src/main/java/org/lflang/analyses/c/CToUclidVisitor.java index 02cf8b20a6..7bf64a3d24 100644 --- a/core/src/main/java/org/lflang/analyses/c/CToUclidVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/CToUclidVisitor.java @@ -15,7 +15,7 @@ /** * A visitor class that translates a C AST in If Normal Form to Uclid5 code * - * @author Shaokai Lin + * */ public class CToUclidVisitor extends CBaseAstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/IfNormalFormAstVisitor.java b/core/src/main/java/org/lflang/analyses/c/IfNormalFormAstVisitor.java index 39300a96e1..2c62b8d13a 100644 --- a/core/src/main/java/org/lflang/analyses/c/IfNormalFormAstVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/IfNormalFormAstVisitor.java @@ -20,7 +20,7 @@ * *

In this program, visit() is the normalise() in the paper. * - * @author Shaokai Lin + * */ public class IfNormalFormAstVisitor extends CBaseAstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/VariablePrecedenceVisitor.java b/core/src/main/java/org/lflang/analyses/c/VariablePrecedenceVisitor.java index 1c3871e555..72b484361a 100644 --- a/core/src/main/java/org/lflang/analyses/c/VariablePrecedenceVisitor.java +++ b/core/src/main/java/org/lflang/analyses/c/VariablePrecedenceVisitor.java @@ -5,7 +5,7 @@ /** * This visitor marks certain variable node as "previous." * - * @author Shaokai Lin + * */ public class VariablePrecedenceVisitor extends CBaseAstVisitor { diff --git a/core/src/main/java/org/lflang/analyses/c/Visitable.java b/core/src/main/java/org/lflang/analyses/c/Visitable.java index d549009cab..ff3c9be6aa 100644 --- a/core/src/main/java/org/lflang/analyses/c/Visitable.java +++ b/core/src/main/java/org/lflang/analyses/c/Visitable.java @@ -5,7 +5,7 @@ /** * An interface for Visitable classes, used for AST nodes. * - * @author Shaokai Lin + * */ public interface Visitable { diff --git a/core/src/main/java/org/lflang/analyses/dag/Dag.java b/core/src/main/java/org/lflang/analyses/dag/Dag.java index c561c4d7c9..b5d6f047de 100644 --- a/core/src/main/java/org/lflang/analyses/dag/Dag.java +++ b/core/src/main/java/org/lflang/analyses/dag/Dag.java @@ -26,8 +26,8 @@ /** * Class representing a Directed Acyclic Graph (Dag), useful for the static scheduling. * - * @author Chadlia Jerad - * @author Shaokai Lin + * + * */ public class Dag { diff --git a/core/src/main/java/org/lflang/analyses/dag/DagEdge.java b/core/src/main/java/org/lflang/analyses/dag/DagEdge.java index b96e59784b..82ae6453f3 100644 --- a/core/src/main/java/org/lflang/analyses/dag/DagEdge.java +++ b/core/src/main/java/org/lflang/analyses/dag/DagEdge.java @@ -3,7 +3,7 @@ /** * Class defining a Dag edge. * - * @author Shaokai Lin + * */ public class DagEdge { /** The source DAG node */ diff --git a/core/src/main/java/org/lflang/analyses/dag/DagGenerator.java b/core/src/main/java/org/lflang/analyses/dag/DagGenerator.java index df6e59758b..c7ce6efbd6 100644 --- a/core/src/main/java/org/lflang/analyses/dag/DagGenerator.java +++ b/core/src/main/java/org/lflang/analyses/dag/DagGenerator.java @@ -82,8 +82,8 @@ * *

========================================= * - * @author Chadlia Jerad - * @author Shaokai Lin + * + * */ public class DagGenerator { diff --git a/core/src/main/java/org/lflang/analyses/dag/DagNode.java b/core/src/main/java/org/lflang/analyses/dag/DagNode.java index 08b4bd0a18..22b2acaf98 100644 --- a/core/src/main/java/org/lflang/analyses/dag/DagNode.java +++ b/core/src/main/java/org/lflang/analyses/dag/DagNode.java @@ -10,8 +10,8 @@ * *

FIXME: Create subclasses for ReactionNode and SyncNode * - * @author Chadlia Jerad - * @author Shaokai Lin + * + * */ public class DagNode implements Comparable { /** Different node types of the DAG */ diff --git a/core/src/main/java/org/lflang/analyses/dag/DagNodePair.java b/core/src/main/java/org/lflang/analyses/dag/DagNodePair.java index ae418e8bcc..3d72db2201 100644 --- a/core/src/main/java/org/lflang/analyses/dag/DagNodePair.java +++ b/core/src/main/java/org/lflang/analyses/dag/DagNodePair.java @@ -3,7 +3,7 @@ /** * A helper class defining a pair of DAG nodes * - * @author Shaokai Lin + * */ public class DagNodePair { public DagNode key; diff --git a/core/src/main/java/org/lflang/analyses/pretvm/InstructionGenerator.java b/core/src/main/java/org/lflang/analyses/pretvm/InstructionGenerator.java index 1bd42fa21e..b2a5424d15 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/InstructionGenerator.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/InstructionGenerator.java @@ -58,7 +58,7 @@ * A generator that generates PRET VM programs from DAGs. It also acts as a linker that piece * together multiple PRET VM object files. * - * @author Shaokai Lin + * */ public class InstructionGenerator { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/PretVmExecutable.java b/core/src/main/java/org/lflang/analyses/pretvm/PretVmExecutable.java index 94cb0d806b..8f82ed41fa 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/PretVmExecutable.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/PretVmExecutable.java @@ -6,7 +6,7 @@ /** * Class defining a PRET VM executable * - * @author Shaokai Lin + * */ public class PretVmExecutable { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/PretVmLabel.java b/core/src/main/java/org/lflang/analyses/pretvm/PretVmLabel.java index 784f70ac25..a0c0683b16 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/PretVmLabel.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/PretVmLabel.java @@ -5,7 +5,7 @@ /** * A memory label of an instruction, similar to the one in RISC-V * - * @author Shaokai Lin + * */ public class PretVmLabel { /** Pointer to an instruction */ diff --git a/core/src/main/java/org/lflang/analyses/pretvm/PretVmObjectFile.java b/core/src/main/java/org/lflang/analyses/pretvm/PretVmObjectFile.java index b9593cfd89..424ee0b371 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/PretVmObjectFile.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/PretVmObjectFile.java @@ -9,7 +9,7 @@ * A PretVM Object File is a list of list of instructions, each list of which is for a worker. The * object file also contains a state space fragment and a partitioned DAG for this fragment. * - * @author Shaokai Lin + * */ public class PretVmObjectFile extends PretVmExecutable { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/Instruction.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/Instruction.java index ccfda8ab71..f14c766c86 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/Instruction.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/Instruction.java @@ -9,7 +9,7 @@ /** * Abstract class defining a PRET virtual machine instruction * - * @author Shaokai Lin + * */ public abstract class Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADD.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADD.java index b0c162c370..726cb042ac 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADD.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADD.java @@ -6,7 +6,7 @@ /** * Class defining the ADD instruction * - * @author Shaokai Lin + * */ public class InstructionADD extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADDI.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADDI.java index c9e11a8d3a..4cb190534d 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADDI.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionADDI.java @@ -6,7 +6,7 @@ /** * Class defining the ADDI instruction * - * @author Shaokai Lin + * */ public class InstructionADDI extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBEQ.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBEQ.java index 60cbed2cfe..a6b2b5f2f5 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBEQ.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBEQ.java @@ -5,7 +5,7 @@ /** * Class defining the BEQ instruction * - * @author Shaokai Lin + * */ public class InstructionBEQ extends InstructionBranchBase { public InstructionBEQ(Register rs1, Register rs2, Object label) { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBGE.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBGE.java index 449da0a985..2b0aa7a6ae 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBGE.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBGE.java @@ -5,7 +5,7 @@ /** * Class defining the BGE instruction * - * @author Shaokai Lin + * */ public class InstructionBGE extends InstructionBranchBase { public InstructionBGE(Register rs1, Register rs2, Object label) { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBLT.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBLT.java index e1f52e740a..08e96f9cf7 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBLT.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBLT.java @@ -5,7 +5,7 @@ /** * Class defining the BLT instruction * - * @author Shaokai Lin + * */ public class InstructionBLT extends InstructionBranchBase { public InstructionBLT(Register rs1, Register rs2, Object label) { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBNE.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBNE.java index 8990782533..03ea78da5c 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBNE.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBNE.java @@ -5,7 +5,7 @@ /** * Class defining the BNE instruction * - * @author Shaokai Lin + * */ public class InstructionBNE extends InstructionBranchBase { public InstructionBNE(Register rs1, Register rs2, Object label) { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBranchBase.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBranchBase.java index 07ef0ab49a..a9d7b39f68 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBranchBase.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionBranchBase.java @@ -9,7 +9,7 @@ * A base class for branch instructions. According to the RISC-V specifications, the operands can * only be registers. * - * @author Shaokai Lin + * */ public abstract class InstructionBranchBase extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionDU.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionDU.java index 35bac67eb2..43672ef2f7 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionDU.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionDU.java @@ -6,7 +6,7 @@ /** * Class defining the DU instruction. An worker delays until baseTime + offset. * - * @author Shaokai Lin + * */ public class InstructionDU extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionEXE.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionEXE.java index f6f04a9e09..879373b2b8 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionEXE.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionEXE.java @@ -6,7 +6,7 @@ /** * Class defining the EXE instruction * - * @author Shaokai Lin + * */ public class InstructionEXE extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJAL.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJAL.java index dd320ccad5..38dddfcea3 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJAL.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJAL.java @@ -6,7 +6,7 @@ /** * Class defining the JAL instruction * - * @author Shaokai Lin + * */ public class InstructionJAL extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJALR.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJALR.java index 79b68c9440..ee7d5a169f 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJALR.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionJALR.java @@ -6,7 +6,7 @@ /** * Class defining the JALR instruction * - * @author Shaokai Lin + * */ public class InstructionJALR extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionSTP.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionSTP.java index 5477f29040..97da60b75d 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionSTP.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionSTP.java @@ -3,7 +3,7 @@ /** * Class defining the STP instruction * - * @author Shaokai Lin + * */ public class InstructionSTP extends Instruction { public InstructionSTP() { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWLT.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWLT.java index fa21e631ca..677b39208f 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWLT.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWLT.java @@ -6,7 +6,7 @@ /** * Class defining the WLT instruction * - * @author Shaokai Lin + * */ public class InstructionWLT extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWU.java b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWU.java index 51fefb84de..6ce6abf1c2 100644 --- a/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWU.java +++ b/core/src/main/java/org/lflang/analyses/pretvm/instructions/InstructionWU.java @@ -6,7 +6,7 @@ /** * Class defining the WU instruction * - * @author Shaokai Lin + * */ public class InstructionWU extends Instruction { diff --git a/core/src/main/java/org/lflang/analyses/scheduler/EgsScheduler.java b/core/src/main/java/org/lflang/analyses/scheduler/EgsScheduler.java index 4fb7ec1c5c..4e0c1a3130 100644 --- a/core/src/main/java/org/lflang/analyses/scheduler/EgsScheduler.java +++ b/core/src/main/java/org/lflang/analyses/scheduler/EgsScheduler.java @@ -19,8 +19,8 @@ * dependencies have been installed, `egs.py` is added to the PATH variable, and there is a * pretrained model located at `models/pretrained` under the same directory as `egs.py`. * - * @author Chadlia Jerad - * @author Shaokai Lin + * + * */ public class EgsScheduler implements StaticScheduler { diff --git a/core/src/main/java/org/lflang/analyses/scheduler/LoadBalancedScheduler.java b/core/src/main/java/org/lflang/analyses/scheduler/LoadBalancedScheduler.java index b930771ce0..3700e1a8c2 100644 --- a/core/src/main/java/org/lflang/analyses/scheduler/LoadBalancedScheduler.java +++ b/core/src/main/java/org/lflang/analyses/scheduler/LoadBalancedScheduler.java @@ -14,7 +14,7 @@ /** * A simple static scheduler that split work evenly among workers * - * @author Shaokai Lin + * */ public class LoadBalancedScheduler implements StaticScheduler { diff --git a/core/src/main/java/org/lflang/analyses/scheduler/MocasinScheduler.java b/core/src/main/java/org/lflang/analyses/scheduler/MocasinScheduler.java index 1ee93725a9..0e35d0f93a 100644 --- a/core/src/main/java/org/lflang/analyses/scheduler/MocasinScheduler.java +++ b/core/src/main/java/org/lflang/analyses/scheduler/MocasinScheduler.java @@ -45,7 +45,7 @@ /** * An external static scheduler using the `mocasin` tool * - * @author Shaokai Lin + * */ public class MocasinScheduler implements StaticScheduler { diff --git a/core/src/main/java/org/lflang/analyses/scheduler/StaticScheduler.java b/core/src/main/java/org/lflang/analyses/scheduler/StaticScheduler.java index bb4f0b9a6b..d0e009fce4 100644 --- a/core/src/main/java/org/lflang/analyses/scheduler/StaticScheduler.java +++ b/core/src/main/java/org/lflang/analyses/scheduler/StaticScheduler.java @@ -6,7 +6,7 @@ /** * Interface for static scheduler * - * @author Shaokai Lin + * */ public interface StaticScheduler { public Dag partitionDag( diff --git a/core/src/main/java/org/lflang/analyses/scheduler/StaticSchedulerUtils.java b/core/src/main/java/org/lflang/analyses/scheduler/StaticSchedulerUtils.java index 216752cc4d..aa3387a92a 100644 --- a/core/src/main/java/org/lflang/analyses/scheduler/StaticSchedulerUtils.java +++ b/core/src/main/java/org/lflang/analyses/scheduler/StaticSchedulerUtils.java @@ -8,7 +8,7 @@ /** * A utility class for static scheduler-related methods * - * @author Shaokai Lin + * */ public class StaticSchedulerUtils { diff --git a/core/src/main/java/org/lflang/analyses/statespace/Event.java b/core/src/main/java/org/lflang/analyses/statespace/Event.java index 8736a5d1c1..19e4fc3bdd 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/Event.java +++ b/core/src/main/java/org/lflang/analyses/statespace/Event.java @@ -5,7 +5,7 @@ /** * A node in the state space diagram representing a step in the execution of an LF program. * - * @author Shaokai Lin + * */ public class Event implements Comparable { diff --git a/core/src/main/java/org/lflang/analyses/statespace/EventQueue.java b/core/src/main/java/org/lflang/analyses/statespace/EventQueue.java index 3768121ab5..3e6b2a9167 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/EventQueue.java +++ b/core/src/main/java/org/lflang/analyses/statespace/EventQueue.java @@ -6,7 +6,7 @@ * An event queue implementation that sorts events in the order of _time tags_ and _trigger names_ * based on the implementation of compareTo() in the Event class. * - * @author Shaokai Lin + * */ public class EventQueue extends PriorityQueue { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateInfo.java b/core/src/main/java/org/lflang/analyses/statespace/StateInfo.java index a54da560af..1736fd1ba8 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateInfo.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateInfo.java @@ -6,7 +6,7 @@ /** * A class that represents information in a step in a counterexample trace * - * @author Shaokai Lin + * */ public class StateInfo { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceDiagram.java b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceDiagram.java index 76f70965ec..c9853f2885 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceDiagram.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceDiagram.java @@ -14,7 +14,7 @@ /** * A directed graph representing the state space of an LF program. * - * @author Shaokai Lin + * */ public class StateSpaceDiagram extends DirectedGraph { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceExplorer.java b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceExplorer.java index c37be797f6..d262a5ee0d 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceExplorer.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceExplorer.java @@ -23,7 +23,7 @@ * (EXPERIMENTAL) Explores the state space of an LF program. Use with caution since this is * experimental code. * - * @author Shaokai Lin + * */ public class StateSpaceExplorer { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceFragment.java b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceFragment.java index 705e74c296..fb65cda0bd 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceFragment.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceFragment.java @@ -13,7 +13,7 @@ * diagrams. A fragment is meant to capture partial behavior of an LF program (for example, the * initialization phase, periodic phase, or shutdown phases). * - * @author Shaokai Lin + * */ public class StateSpaceFragment { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceNode.java b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceNode.java index 7f54fbda0b..433b2b02ae 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceNode.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceNode.java @@ -10,7 +10,7 @@ /** * A node in the state space diagram representing a step in the execution of an LF program. * - * @author Shaokai Lin + * */ public class StateSpaceNode { diff --git a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceUtils.java b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceUtils.java index 7a4d0f1291..7af43888dd 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/StateSpaceUtils.java +++ b/core/src/main/java/org/lflang/analyses/statespace/StateSpaceUtils.java @@ -14,7 +14,7 @@ /** * A utility class for state space-related methods * - * @author Shaokai Lin + * */ public class StateSpaceUtils { diff --git a/core/src/main/java/org/lflang/analyses/statespace/Tag.java b/core/src/main/java/org/lflang/analyses/statespace/Tag.java index dbcbde45fe..dc0a3e0af8 100644 --- a/core/src/main/java/org/lflang/analyses/statespace/Tag.java +++ b/core/src/main/java/org/lflang/analyses/statespace/Tag.java @@ -6,7 +6,7 @@ * Class representing a logical time tag, which is a pair that consists of a timestamp (type long) * and a microstep (type long). * - * @author Shaokai Lin + * */ public class Tag implements Comparable { diff --git a/core/src/main/java/org/lflang/analyses/uclid/MTLVisitor.java b/core/src/main/java/org/lflang/analyses/uclid/MTLVisitor.java index 106d49bf35..9b0051d1a8 100644 --- a/core/src/main/java/org/lflang/analyses/uclid/MTLVisitor.java +++ b/core/src/main/java/org/lflang/analyses/uclid/MTLVisitor.java @@ -34,7 +34,7 @@ /** * (EXPERIMENTAL) Transpiler from an MTL specification to a Uclid axiom. * - * @author Shaokai Lin + * */ public class MTLVisitor extends MTLParserBaseVisitor { diff --git a/core/src/main/java/org/lflang/analyses/uclid/UclidGenerator.java b/core/src/main/java/org/lflang/analyses/uclid/UclidGenerator.java index 194a95f946..c3379b7a6a 100644 --- a/core/src/main/java/org/lflang/analyses/uclid/UclidGenerator.java +++ b/core/src/main/java/org/lflang/analyses/uclid/UclidGenerator.java @@ -80,7 +80,7 @@ /** * (EXPERIMENTAL) Generator for Uclid5 models. * - * @author Shaokai Lin + * */ public class UclidGenerator extends GeneratorBase { diff --git a/core/src/main/java/org/lflang/analyses/uclid/UclidRunner.java b/core/src/main/java/org/lflang/analyses/uclid/UclidRunner.java index d1c1b50f53..4efd370448 100644 --- a/core/src/main/java/org/lflang/analyses/uclid/UclidRunner.java +++ b/core/src/main/java/org/lflang/analyses/uclid/UclidRunner.java @@ -22,7 +22,7 @@ /** * (EXPERIMENTAL) Runner for Uclid5 models. * - * @author Shaokai Lin + * */ public class UclidRunner { diff --git a/core/src/main/java/org/lflang/target/property/SchedulerProperty.java b/core/src/main/java/org/lflang/target/property/SchedulerProperty.java index b53cb0d394..92928c2e7f 100644 --- a/core/src/main/java/org/lflang/target/property/SchedulerProperty.java +++ b/core/src/main/java/org/lflang/target/property/SchedulerProperty.java @@ -136,7 +136,7 @@ public SchedulerOptions update(List newMocasinMapping) { /** * Scheduler dictionary options. * - * @author Shaokai Lin + * */ public enum SchedulerDictOption implements DictionaryElement { TYPE("type", new SchedulerType()), diff --git a/core/src/main/java/org/lflang/target/property/type/StaticSchedulerType.java b/core/src/main/java/org/lflang/target/property/type/StaticSchedulerType.java index e035cb4a80..7f1b5fa6f0 100644 --- a/core/src/main/java/org/lflang/target/property/type/StaticSchedulerType.java +++ b/core/src/main/java/org/lflang/target/property/type/StaticSchedulerType.java @@ -12,7 +12,7 @@ protected Class enumClass() { /** * Supported schedulers. * - * @author Shaokai Lin + * */ public enum StaticScheduler { LB, diff --git a/core/src/main/java/org/lflang/validation/AttributeSpec.java b/core/src/main/java/org/lflang/validation/AttributeSpec.java index 200c298adb..7806e8fa9e 100644 --- a/core/src/main/java/org/lflang/validation/AttributeSpec.java +++ b/core/src/main/java/org/lflang/validation/AttributeSpec.java @@ -41,7 +41,7 @@ * Specification of the structure of an attribute annotation. * * @author Clément Fournier - * @author Shaokai Lin + * */ public class AttributeSpec { diff --git a/test/C/src/static/LargeDeadline.lf b/test/C/src/static/LargeDeadline.lf index 063bc17676..fd5ac4b72e 100644 --- a/test/C/src/static/LargeDeadline.lf +++ b/test/C/src/static/LargeDeadline.lf @@ -4,7 +4,7 @@ * larger than the hyperperiod, the state variable s should still * increment up to 10. * - * @author Shaokai Lin + * */ target C { scheduler: STATIC, diff --git a/test/C/src/static/RaceCondition.lf b/test/C/src/static/RaceCondition.lf index 828ece1d8d..bbe9a08cc7 100644 --- a/test/C/src/static/RaceCondition.lf +++ b/test/C/src/static/RaceCondition.lf @@ -22,8 +22,8 @@ * execute before the completion of reaction bodies or auxiliary * functions. * - * @author Shaokai Lin - * @author Erling Jellum + * + * */ target C { scheduler: { diff --git a/test/C/src/static/RaceCondition2.lf b/test/C/src/static/RaceCondition2.lf index bdd437d0d8..d6cc9950bb 100644 --- a/test/C/src/static/RaceCondition2.lf +++ b/test/C/src/static/RaceCondition2.lf @@ -24,8 +24,8 @@ * execute before the completion of reaction bodies or auxiliary * functions. * - * @author Shaokai Lin - * @author Erling Jellum + * + * */ target C { scheduler: {