File: test.tex

package info (click to toggle)
source-highlight 3.1.7-1
  • links: PTS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 10,332 kB
  • ctags: 5,233
  • sloc: sh: 11,270; cpp: 10,206; ansic: 9,515; makefile: 1,865; lex: 1,200; yacc: 1,021; php: 213; perl: 211; awk: 98; erlang: 94; lisp: 90; java: 75; ruby: 69; python: 61; asm: 43; ml: 38; ada: 36; haskell: 27; xml: 23; cs: 11; sql: 8; tcl: 6; sed: 4
file content (71 lines) | stat: -rw-r--r-- 1,729 bytes parent folder | download | duplicates (10)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
% this is just to test latex highlighting
% it will not compile with latex though :-)

\runningheads{L.~Bettini, S.~Capecchi and B.~Venneri}
{Double Dispatch in \CC}

This is an higlighted \command.

\lstdefinelanguage{xklaim}%
  {morekeywords={if,else,then,endif,while,do,enddo,begin,end,rec,ref,declare,%
      int,str,loc,process,bool,locname,ts,var,within,in,out,read,eval,newloc,%
      go,true,false,not,and,or,nil,add,rm,newc,extern,%
      inp,readp,forall,const,nodes,endnodes,on,print,logloc,phyloc,%
      login,logout,accept,disconnected,accept,subscribe,unsubscribe,%
      dirconnect,acceptconn,%
      register,unregister,nodecoord,port,start,cons,%
      return,new,object,class,mixin,def,redef,expect,next,this,red,exp,type},%
    keywords=[2]{self},%
    keywordstyle=[2]\ttfamily,%
    alsoother=@,%
    morecomment=[l]\#,%
    sensitive=f,%
    morestring=[b]"%
   }[keywords,strings]

\frame{
\frametitle{Tuples and Pattern Matching}
  \begin{itemize}
  \item Tuples and Templates
    \[
    ("foo", 10+5, !x)
    \]
    \begin{itemize}
    \item Formal Fields
    \item Actual Fields
    \end{itemize}
  \item Pattern Matching:
    \begin{itemize}
    \item Formal fields match any field of the same type
    \item Actual fields
      match if identical
    \end{itemize}
  \end{itemize}
\vspace{0.4cm}
\begin{block}{}
\begin{center}
$("foo", 10+5, true)$ \alert{matches} $(!s, 15, !b)$
\end{center}
\end{block}
}

This is mathematic with \$\$:

$$
i = j
$$

the same but with \[ \]:

\[
i = j
\]

`Private, Protected and Virtual Methods').
This line's body shouldn't have the highlighted '.

These \`e \'e \"e are accents and not a string

L.~Bettini

\paragraph*{Typing rule for multi method invocation.}