archive-gh-me/jsweet
1
0
Fork 0
mirror of https://github.com/cincheo/jsweet.git synced 2025-12-15 07:19:22 +00:00
Code Issues Projects Releases Wiki Activity

update doc

Browse Source
This commit is contained in:
Renaud Pawlak 2017-07-25 10:14:53 +02:00
parent d96e8af42f
commit cd452af9d4
3 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
doc/jsweet-language-specifications.md
View File

@ -1634,6 +1634,7 @@ Here, we will step through how to tune the JSweet generation to generate strings
First, create the `HelloWorldAdapter.java` file in the `jsweet_extension` directory at the root of your project. Copy and paste the following code in that file: First, create the `HelloWorldAdapter.java` file in the `jsweet_extension` directory at the root of your project. Copy and paste the following code in that file:
``` java ``` java
import org.jsweet.transpiler.extension.PrinterAdapter;
public class HelloWorldAdapter extends PrinterAdapter { public class HelloWorldAdapter extends PrinterAdapter {
public HelloWorldAdapter(PrinterAdapter parent) { public HelloWorldAdapter(PrinterAdapter parent) {
super(parent); super(parent);

BIN
doc/jsweet-language-specifications.pdf
View File

Binary file not shown.

1
doc/jsweet-language-specifications.tex
View File

@ -1648,6 +1648,7 @@ Here, we will step through how to tune the JSweet generation to generate strings
First, create the \texttt{HelloWorldAdapter.java} file in the \texttt{jsweet\_extension} directory at the root of your project. Copy and paste the following code in that file: First, create the \texttt{HelloWorldAdapter.java} file in the \texttt{jsweet\_extension} directory at the root of your project. Copy and paste the following code in that file:
\begin{lstlisting}[language=Java] \begin{lstlisting}[language=Java]
import org.jsweet.transpiler.extension.PrinterAdapter;
public class HelloWorldAdapter extends PrinterAdapter { public class HelloWorldAdapter extends PrinterAdapter {
public HelloWorldAdapter(PrinterAdapter parent) { public HelloWorldAdapter(PrinterAdapter parent) {
super(parent); super(parent);