From 992d083972a7bc208b8f9e77b3c1be1ae11fd134 Mon Sep 17 00:00:00 2001
From: Jueun Park <s5616012@mailbox.tu-dresden.de>
Date: Thu, 31 Mar 2022 13:52:20 +0900
Subject: [PATCH] Edited index.md

---
 pages/docs/index.md | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/pages/docs/index.md b/pages/docs/index.md
index ada8cf50..a5d1b47a 100644
--- a/pages/docs/index.md
+++ b/pages/docs/index.md
@@ -28,9 +28,14 @@ OpenAPIObject ::=   <OpenAPI> <JsonSchemaDialect> I:InfoObject Serv:ServerObject
 
 There are some implementation details developers must consider:
 
-- JastAdd doesn't support `Map`. So, it must be constructed in a tuple (AST-Node). e.g. `ServerVariablesTuple ::= <Name> S:ServerVariableObject;` <-> `variables` in [Server Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#serverObject)
+- JastAdd doesn't support `Map`. So, it must be constructed in a tuple (AST-Node). e.g.
+  - `ServerVariablesTuple ::= <Name> S:ServerVariableObject;` 
+  - `variables` in [Server Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#serverObject)
+
+- In OAS, several objects can be replaced by [Reference Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#referenceObject). In `RAGO`, we implemented this structure in an abstract node to every concerned object. e.g. 
+    - [Parameter Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#parameterObject)
+    - following abstract node in JastAdd
 
-- In OAS, several objects can be replaced by [Reference Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#referenceObject). In `RAGO`, we implemented this structure in an abstract node to every concerned object. e.g. [Parameter Object](https://github.com/OAI/OpenAPI-Specification/blob/main/versions/3.0.3.md#parameterObject) 
   ``` 
   abstract ParameterOb;
   ParameterReference : ParameterOb ::= <Ref> ...;
-- 
GitLab