diff options
Diffstat (limited to 'java/lcgoji/src/main')
7 files changed, 0 insertions, 199 deletions
diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/LCEvaluator.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/LCEvaluator.java deleted file mode 100644 index b0fe69b..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/LCEvaluator.java +++ /dev/null @@ -1,59 +0,0 @@ -package org.lambdanantes.lcgoji; - -import org.lambdanantes.lcgoji.ast.Abs; -import org.lambdanantes.lcgoji.ast.App; -import org.lambdanantes.lcgoji.ast.Term; -import org.lambdanantes.lcgoji.ast.Var; - -import static org.lambdanantes.lcgoji.ast.Abs.λ; -import static org.lambdanantes.lcgoji.ast.App.apply; - -public class LCEvaluator { - - public static Term evaluate(Term term) { - switch (term) { - case Var var -> { - return var; - } - case Abs abs -> { - return abs; - } - case App app -> { - switch (app.left) { - case Abs abs -> { - return substitute(abs.body, abs.arg, app.right); - } - case App _app -> { - return app; - } - case Var _var -> { - return app; - } - } - } - } - } - - private static Term substitute(Term body, String arg, Term val) { - switch (body) { - case Var var -> { - if (var.name.equals(arg)) { - return val; - } else { - return body; - } - } - case App app -> { - return apply(substitute(app.left, arg, val), substitute(app.right, arg, val)); - } - case Abs abs -> { - if (abs.arg.equals(arg)) { - // Pas de substitution des variables redéfinies - return abs; - } else { - return λ(abs.arg, substitute(abs.body, arg, val)); - } - } - } - } -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/Main.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/Main.java deleted file mode 100644 index 76cb839..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/Main.java +++ /dev/null @@ -1,49 +0,0 @@ -package org.lambdanantes.lcgoji; - -import lombok.extern.slf4j.Slf4j; -import org.apache.http.client.fluent.Request; -import org.apache.http.client.fluent.Response; -import org.apache.http.entity.StringEntity; - -import static spark.Spark.*; - -@Slf4j -public class Main { - - public static final String TEAM_NAME = "LCGOJI"; - public static final int SELF_PORT = 8888; - public static final String SELF_URL = "http://127.0.0.1:" + SELF_PORT; - public static final String TESTER_URL = "http://127.0.0.1:8080"; - - public static void main(String[] args) throws Exception { - port(SELF_PORT); - - before((request, response) -> log.info("Requête entrante : " + request.requestMethod() + " " + request.pathInfo() + ", query params : " + request.queryString())); - - // API pour l'évaluation de λ-term - // Le body est une S-expression sous sa forme textuelle - post("/eval", (request, response) -> { - String body = request.body(); - log.info("Demande d'évaluation de l'expression : " + body); - - // TODO Parser, contruire l'AST, l'évaluer - String result = body; // Renvoie la s-expression à l'identique pour le moment - - log.info("Réponse envoyée : " + body); - - return result.getBytes(); - }); - - init(); - - // Enregistrement de notre API auprès du tester d'API - String jsonBody = "{\"url\":\"" + SELF_URL + "/eval\", \"name\": \"" + TEAM_NAME + "\"}"; - Response response = Request.Post(TESTER_URL + "/register") - .addHeader("Content-type", "application/json") - .body(new StringEntity(jsonBody)) - .execute(); - - log.info("Résultat de l'enregistrement : "+response.returnContent().toString()); - } - -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Abs.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Abs.java deleted file mode 100644 index 9d1c146..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Abs.java +++ /dev/null @@ -1,26 +0,0 @@ -package org.lambdanantes.lcgoji.ast; - -import lombok.AccessLevel; -import lombok.AllArgsConstructor; -import lombok.EqualsAndHashCode; - -import static org.lambdanantes.lcgoji.ast.Var.var; - -@AllArgsConstructor(access = AccessLevel.PROTECTED) -@EqualsAndHashCode -public final class Abs implements Term { - - public static final Abs IDENTITY = λ("x", var("x")); - - public String arg; - public Term body; - - public static Abs λ(String arg, Term body) { - return new Abs(arg, body); - } - - @Override - public String toString() { - return "λ" + arg + "." + body; - } -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/App.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/App.java deleted file mode 100644 index 2f3e04d..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/App.java +++ /dev/null @@ -1,22 +0,0 @@ -package org.lambdanantes.lcgoji.ast; - -import lombok.AccessLevel; -import lombok.AllArgsConstructor; -import lombok.EqualsAndHashCode; - -@AllArgsConstructor(access = AccessLevel.PROTECTED) -@EqualsAndHashCode -public final class App implements Term { - - public Term left; - public Term right; - - public static App apply(Term left, Term right) { - return new App(left, right); - } - - @Override - public String toString() { - return "(" + left + ") " + right; - } -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Term.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Term.java deleted file mode 100644 index 2dcc9fe..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Term.java +++ /dev/null @@ -1,5 +0,0 @@ -package org.lambdanantes.lcgoji.ast; - -public sealed interface Term permits Var, Abs, App { - -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Var.java b/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Var.java deleted file mode 100644 index ed710b6..0000000 --- a/java/lcgoji/src/main/java/org/lambdanantes/lcgoji/ast/Var.java +++ /dev/null @@ -1,21 +0,0 @@ -package org.lambdanantes.lcgoji.ast; - -import lombok.AccessLevel; -import lombok.AllArgsConstructor; -import lombok.EqualsAndHashCode; - -@AllArgsConstructor(access = AccessLevel.PROTECTED) -@EqualsAndHashCode -public final class Var implements Term{ - - public String name; - - public static Var var(String name) { - return new Var(name); - } - - @Override - public String toString() { - return name; - } -}
\ No newline at end of file diff --git a/java/lcgoji/src/main/resources/log4j2.xml b/java/lcgoji/src/main/resources/log4j2.xml deleted file mode 100644 index f938085..0000000 --- a/java/lcgoji/src/main/resources/log4j2.xml +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<configuration monitorInterval="60"> - <appenders> - <console name="console" target="SYSTEM_OUT"> - <patternLayout pattern="%d{HH:mm:ss} [%t] %-5level %logger{36} - %msg%n"/> - </console> - </appenders> - - <loggers> - <root level="debug"> - <appender-ref ref="console"/> - </root> - <logger name="org.eclipse.jetty" level="warn"/> - <logger name="spark" level="info"/> - </loggers> -</configuration> - |