Skip to content

Lara dsl deprecation #83

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 136 commits into
base: lara-3.1
Choose a base branch
from
Open

Lara dsl deprecation #83

wants to merge 136 commits into from

Conversation

lm-sousa
Copy link
Member

No description provided.

lm-sousa added 28 commits June 14, 2025 00:55
- Deleted LaraiResult.java, Interpreter.java, MessageConstants.java, MasterWeaver.java, WeaverBatchTester.java from LARAI/src.
- Removed LaraCore.ts import functions related to dynamic imports.
- Eliminated build.gradle and settings.gradle files from LaraFramework.
- Removed WeaverLauncher.java, WeaverResult.java, WeaverServer.java from LaraFramework/src.
- Updated WeaverInterface build.gradle to streamline dependencies and project structure.
- Adjusted formatting and indentation in various classes to enhance code clarity.
- Updated JavaDoc comments for consistency and better understanding.
- Removed unnecessary commented-out code and whitespace.
- Ensured consistent use of access modifiers and method annotations.
- Improved method and variable naming for better comprehension.
- Streamlined constructor and method implementations across multiple classes.
…dependency; update build.gradle and settings.gradle to remove unused tdrcLibrary references.
…, and GeneratorUtils to replace StringUtils usage with native Java methods for string manipulation

import java.util.Optional;

public class WeaverResult {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was necessary for launching weaver instances in parallel. We need to open an issue to add this feature

public JoinPoint getRootJp() {
return select();
}
public abstract JoinPoint getRootJp();
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Verify that WeaverGenerator generates the method getRootJp() instead of select()


DataKey<Boolean> LARA_LOC = KeyFactory.bool("loc").setLabel("LARA CSV with stats (LoC, #aspects, etc)");

DataKey<VerboseLevel> VERBOSE = KeyFactory.enumeration("verbose", VerboseLevel.class).setLabel("Verbose Level")
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Several packages that are using the CLI might fail because the option is no longer supported (e.g., CMake package might be using this option)

Comment on lines 29 to 31
static String getServerFlag() {
return "server";
}
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Probably should be deleted, server mode can no longer be called from Java


// Set store definition

public static StoreDefinition getStoreDefinition(WeaverEngine weaverEngine) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Consider renaming to buildStoreDefinition()

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Verify that the predicate of JpFilter can receive any type in future PRs Fix typings in Graphs API Use JavaCC21 to parse LARA
2 participants