Skip to content

Commit efd5935

Browse files
rcosta358rcosta358
authored
Update Links & Instructions (#1)
1 parent 1d8eaf1 commit efd5935

File tree

1 file changed

+24
-75
lines changed

1 file changed

+24
-75
lines changed

‎index.html‎

Lines changed: 24 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@
8181
<div class="col-lg-7 content-left mt-lg-0 mt-5 pl-lg-5">
8282
<h3>Extending Java with <br/>Liquid Types</h3>
8383
<p class="mb-0">
84-
<b>Extend your Java code with Refinement Types and catch more bugs!</b><br/>
84+
<b>Extend your Java code with Refinement Types and catch bugs earlier!</b><br/>
8585
LiquidJava implements an additional type system with Refinement Types on top of Java.
8686
It allows developers to express better restrictions on the code and discover more bugs before executing the program.
8787
</p>
@@ -122,16 +122,16 @@ <h5 class="small_p"><span class="fa fa-image"></span> Posters:</h5>
122122
</div>
123123

124124
<div class = "col-lg-6">
125-
<h5 class="small_p"><span class="fa fa-github"></span> Github Repos:</h5>
126-
<p class="small_p"><b><a href="https://github.com/CatarinaGamboa/liquidjava">liquidjava</a> </b>
125+
<h5 class="small_p"><span class="fa fa-github"></span> GitHub Repositories:</h5>
126+
<p class="small_p"><b><a href="https://github.com/liquid-java/liquidjava">liquidjava</a> </b>
127127
- main repository with api, verifier and examples.</p>
128128

129-
<p class="small_p"><b><a href="https://github.com/CatarinaGamboa/liquidjava-examples">liquidjava-examples</a> </b> - usage examples </p>
129+
<p class="small_p"><b><a href="https://github.com/liquid-java/liquidjava-examples">liquidjava-examples</a> </b> - usage examples </p>
130130

131-
<p class="small_p"><b><a href="https://github.com/CatarinaGamboa/liquid-java-external-libs">liquid-java-external-libs</a> </b> - annotations in Java standard libraries</p>
131+
<p class="small_p"><b><a href="https://github.com/liquid-java/liquid-java-external-libs">liquid-java-external-libs</a> </b> - annotations in Java standard libraries</p>
132132

133133

134-
<p class="small_p"><b><a href="https://github.com/CatarinaGamboa/vscode-liquidjava">vscode-liquidjava</a> </b>
134+
<p class="small_p"><b><a href="https://github.com/liquid-java/vscode-liquidjava">vscode-liquidjava</a> </b>
135135
- vscode extension for liquidjava using LSP
136136
</div>
137137
</div>
@@ -148,73 +148,19 @@ <h5 class="small_p"><span class="fa fa-github"></span> Github Repos:</h5>
148148
<div class="grid top-bottom">
149149
<div class="container">
150150
<div class="heading text-center mx-auto">
151-
<h3 class="head text-white">Install LiquidJava plugin</h3>
152-
<h5 class="head text-white"><a href="./assets/extension/liquid-java-0.0.14.vsix" style='color:white;'><span style='color: #cf0e4e'>Download here</span> the Visual Studio Code plugin</h5>
153-
<p p class="my-3 head text-white">
154-
Requirements:
155-
<br/>Visual Studio Code <a href='https://code.visualstudio.com/#alt-downloads'><span class="fa fa-external-link-square" style='color:#959595'></span></a></li>
156-
<br/> JDK 11 <a href='https://www.oracle.com/java/technologies/downloads/#java11'><span class="fa fa-external-link-square" style='color:#959595'></span> </a></li>
157-
<br/>Language Support for Java by Red Hat plugin <a href='https://marketplace.visualstudio.com/items?itemName=redhat.java'><span class="fa fa-external-link-square" style='color:#959595'></span></a></li>
158-
</p>
159-
<!-- <p class="my-3 head text-white"> <a href="./assets/extension/liquid-java-0.0.14.vsix" style='color:white;'>Download it here</a></p> -->
160-
</div>
161-
<div class="middle-section grid-column grid-column-my2 text-center mt-5 pt-1">
162-
163-
<div class="three-grids-columns">
164-
<!-- <span class="fa fa-bullseye"></span> -->
165-
<h4>Command Line</h4>
166-
<p>
167-
1. Open the terminal in the folder of the downloaded <span style='font-style: italic;'>.vsix</span> file <br/>
168-
2. Insert the command:
169-
<!-- HTML generated using hilite.me --><div style="background: #202020; overflow:auto;width:auto;border:solid gray;border-width:.1em .1em .1em .8em;padding:.2em .6em;"><pre style="margin: 0; line-height: 125%"><span style="color: #cccccc">code --install-extension liquid-java-0.0.14.vsix</span>
170-
</pre></div>
171-
</p>
172-
<!-- <a href="./assets/extension/liquid-java-0.0.13.vsix">
173-
<p><span style='color:white;'>Install the LiquidJava extension for </span><a href='https://code.visualstudio.com/download'>Visual Studio Code.</a><br/>
174-
<a href="./assets/extension/liquid-java-0.0.14.vsix" style='color:white;'>1. Click here to <b>download</b> the <i>vsix</i> file.<br/>
175-
2. Open the <b>terminal</b></a>
176-
177-
</p> -->
178-
179-
</div>
180-
181-
<!-- <a href="https://github.com/CatarinaGamboa/liquidjava-examples"> -->
182-
<div class="three-grids-columns">
183-
<!-- <span class="fa fa-github"></span> -->
184-
<h4>VSCode GUI</h4>
185-
<p>1. Open the Extensions side view inside VSCode;<br/>
186-
2. Expand <span style='font-style: italic;'>More Actions</span> clicking on <span style='background-color: #202020;'>...</span> on the top;<br/>
187-
3. Install from VSIX;<br/>
188-
4. Select downloaded file;<br/>
189-
5. Re-open VSCode.<br/>
151+
<h3 class="head text-white">Install the LiquidJava Plugin</h3>
152+
<h5 class="head text-white mt-3">Download the <a href="https://marketplace.visualstudio.com/items?itemName=AlcidesFonseca.liquid-java" style='color:white;'><span style='color: #cf0e4e'>Visual Studio Code plugin</span></a></h5>
153+
<p class="my-3 head text-white">Also available in the <a href="https://open-vsx.org/extension/AlcidesFonseca/liquid-java" style='color:white;'><span style='color: #cf0e4e'>Open VSX Registry</span></a></p>
154+
<p p class="my-3 head text-white">
155+
<strong>Requirements:</strong>
156+
<br/>Visual Studio Code <a href='https://code.visualstudio.com/#alt-downloads'><span class="fa fa-external-link-square" style='color:#959595'></span></a></li>
157+
<br/>JDK 20 <a href='https://www.oracle.com/java/technologies/downloads/#java20'><span class="fa fa-external-link-square" style='color:#959595'></span> </a></li>
158+
<br/>Language Support for Java by Red Hat plugin <a href='https://marketplace.visualstudio.com/items?itemName=redhat.java'><span class="fa fa-external-link-square" style='color:#959595'></span></a></li>
190159
</p>
191-
<br/>
192-
</div>
193-
<!-- </a> -->
194-
<!-- <a href="#refinementMethods"><div class="three-grids-columns">
195-
<span class="fa fa-cogs"></span>
196-
<h4>Github Project</h4>
197-
<p>TEXT......</p>
198-
199-
</div></a> -->
200-
<!-- <a href="#refinementClasses"><div class="three-grids-columns">
201-
<span class="fa fa-puzzle-piece"></span>
202-
<h4>Project Examples</h4>
203-
<p>TEXT.............</p>
204-
205-
</div></a> -->
206-
</div>
207-
<br/>
208-
<div class="heading text-center mx-auto">
209-
<h5 class="my-3 head text-white">Use example:</h5>
210-
211-
<ol class="text-white" style="text-align: left;">
212-
<li> Install the <b>IDE Extension</b></li>
213-
<li> Clone the <b>github exercises</b> repository <a href='https://github.com/CatarinaGamboa/liquidjava-examples'><span class="fa fa-external-link-square" style='color:#959595'></span> </a></li>
214-
<li> Open the folder <span style="color:#ff4d5e;"><i>parte3-liquidJava/together1</i></span> on <b>VSCode</b></li>
215-
<li> Wait for the notification <span style="color:#cf0e4e;">"LiquidJava Extension is ON! Enjoy!"</span> and uncomment the code in one of the <i>Test.java</i> files. An error should appear underlining the incorrect part. Hover the element or open the <i>Problems</i> tab for more error information.</li>
216-
</ol>
217-
160+
<!-- <p class="my-3 head text-white"> <a href="./assets/extension/liquid-java-0.0.14.vsix" style='color:white;'>Download it here</a></p> -->
161+
</div>
162+
<p class="my-3 text-white text-center">To use the LiquidJava annotations, include the LiquidJava API in your project. Maven and Gradle setup instructions are available <a href="https://github.com/liquid-java/vscode-liquidjava" style='color:white;'><span style='color: #cf0e4e'>here</span></a>.</p>
163+
<p class="my-3 text-white text-center">To learn how to use LiquidJava and its capabilities, you can follow the <a href="https://github.com/liquid-java/liquidjava-tutorial" style='color:white;'><span style='color: #cf0e4e'>LiquidJava tutorial guide</span></a>.</p>
218164
</div>
219165
</div>
220166
</div>
@@ -643,12 +589,12 @@ <h5></h5>
643589
<div class="container">
644590

645591
<div class="main-social-footer-29">
646-
<a href="#facebook" onclick="sendEmail()" class="facebook"><span class="fa fa-envelope-o"></span></a>
647-
<a href="https://github.com/CatarinaGamboa" class="twitter"><span class="fa fa-github"></span></a>
592+
<a href="mailto:cgamboa@andrew.cmu.edu" class="email"><span class="fa fa-envelope-o"></span></a>
593+
<a href="https://github.com/liquid-java" class="github"><span class="fa fa-github"></span></a>
648594
<a href="https://www.linkedin.com/in/catarina-ventura-gamboa-518151172/" class="linkedin"><span class="fa fa-linkedin"></span></a>
649595
</div>
650596
<div class="bottom-copies text-center">
651-
<p class="copy-footer-29">© 2020 My Website. All rights reserved | Designed by <a href="https://w3layouts.com">W3layouts</a></p>
597+
<p class="copy-footer-29">© <span id="year"></span> LiquidJava Website. All rights reserved | Designed by <a href="https://w3layouts.com">W3layouts</a></p>
652598

653599
</div>
654600
</div>
@@ -699,6 +645,9 @@ <h5></h5>
699645
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.4.1/js/bootstrap.min.js"
700646
integrity="sha384-wfSDF2E50Y2D1uUdj0O3uMBJnjuUD4Ih7YwaYd1iqfktj0Uod8GCExl3Og8ifwB6" crossorigin="anonymous">
701647
</script>
648+
<script>
649+
document.getElementById('year').textContent = new Date().getFullYear();
650+
</script>
702651

703652
<!-- Smooth scrolling -->
704653

0 commit comments

Comments
 (0)