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:12:30 +02:00
parent 28457fbf67
commit d96e8af42f
3 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1634,7 +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
class HelloWorldAdapter extends PrinterAdapter { public class HelloWorldAdapter extends PrinterAdapter {
public HelloWorldAdapter(PrinterAdapter parent) { public HelloWorldAdapter(PrinterAdapter parent) {
super(parent); super(parent);
addTypeMapping(java.util.Date.class.getName(), "string"); addTypeMapping(java.util.Date.class.getName(), "string");

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

Binary file not shown.

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

@ -1648,7 +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]
class HelloWorldAdapter extends PrinterAdapter { public class HelloWorldAdapter extends PrinterAdapter {
public HelloWorldAdapter(PrinterAdapter parent) { public HelloWorldAdapter(PrinterAdapter parent) {
super(parent); super(parent);
addTypeMapping(java.util.Date.class.getName(), "string"); addTypeMapping(java.util.Date.class.getName(), "string");