Changeset 4295

Show
Ignore:
Timestamp:
10/28/09 22:03:08 (4 weeks ago)
Author:
sukyoungryu
Message:

[spec] Added some sections in the Expressions chapter.

Location:
trunk
Files:
56 added
19 modified

Legend:

Unmodified
Added
Removed

  • trunk/Fortify/fortify.el

    r4284 r4295  
    76757675  "Checks that the region isn't empty before calling fortify." 
    76767676  (if (not (all-blank-spacep (region-beginning) (region-end))) 
    7677       (newfortify 4))) 
     7677      (fortify 4))) 
    76787678 
    76797679(defun fortify-example () 

  • trunk/Library/FileSupport.fsi

    r4287 r4295  
    11(******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 

  • trunk/ProjectFortress/src/com/sun/fortress/exceptions/InterpreterBug.java

    r4291 r4295  
    11/******************************************************************************* 
    2     Copyright 2008 Sun Microsystems, Inc., 
     2    Copyright 2009 Sun Microsystems, Inc., 
    33    4150 Network Circle, Santa Clara, California 95054, U.S.A. 
    44    All rights reserved. 

  • trunk/SpecData/examples/basic/Expr.Assign.a.fss

    r3550 r4295  
    3333i = 1 
    3434(t,u,v) = (2,3,4) 
     35(** EXAMPLE **) 
    3536(a[i],b.x,c) += f(t,u,v) 
    36 (** EXAMPLE **) 
     37(** END EXAMPLE **) 
    3738(a[i],c) += f(t,u) 
    38 (** END EXAMPLE **) 
    3939end 
    4040 

  • trunk/Specification/advanced/parallelism-locality/parallelism-locality.tex

    r4271 r4295  
    1818\chapter{Parallelism and Locality} 
    1919\chaplabel{parallelism} 
     20 
     21\input{\home/advanced/parallelism-locality/intro} 
     22\input{\home/advanced/parallelism-locality/regions-threads} 
     23\input{\home/advanced/parallelism-locality/primitives-distributions} 
     24\input{\home/advanced/parallelism-locality/shared-local} 
     25\input{\home/advanced/parallelism-locality/arrays-distributed} 
     26\input{\home/advanced/parallelism-locality/transactions} 
     27\input{\home/advanced/parallelism-locality/distributions} 
     28\input{\home/advanced/parallelism-locality/early-termination} 
     29\input{\home/advanced/parallelism-locality/defining-generators} 

  • trunk/Specification/advanced/subscripting.tex

    r4271 r4295  
    1616%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
    1717 
    18 % \section{Subscripting Operator Method Declarations} 
    19 % \seclabel{subscripting-ops} 
     18\section{Subscripting Operator Method Declarations} 
     19\seclabel{subscripting-ops} 
     20\section{Subscripted Assignment Operator Method Declarations} 
     21\seclabel{subscripted-assignment} 
     22\section{Conditional Operator Declarations} 
     23\seclabel{conditional-operators-impl} 
     24\section{Big Operator Declarations} 
     25\seclabel{big-operators-impl} 

  • trunk/Specification/appendices/appendices.tex

    r4271 r4295  
    2626% % \input{\home/appendices/ascii-to-unicode/ascii-to-unicode} 
    2727% \input{\home/appendices/operators/operators} 
    28 % \input{\home/appendices/grammars/grammars} 
     28\input{\home/appendices/grammars/grammars} 
    2929% \input{\home/appendices/changes} 
    3030% \ifrelease 

  • trunk/Specification/basic/conversions-coercions.tex

    r4271 r4295  
    1818\chapter{Conversions and Coercions} 
    1919\chaplabel{conversions-coercions} 
     20 
     21\section{Principles of Coercion} 
     22\seclabel{coercion} 
     23\section{Coercion Declarations} 
     24\seclabel{coercion-declarations} 
     25\section{Coercion Invocations} 
     26\seclabel{using-coercion} 
     27\section{Applicability with Coercion} 
     28\seclabel{applicability-with-coercion} 
     29\section{Coercion Resolution} 
     30\seclabel{resolving-coercion} 
     31\section{Restrictions on Coercion Declarations} 
     32\seclabel{restrictions-coercion} 
     33\section{Coercions for Tuple and Arrow Types} 
     34\seclabel{coercion-tuple-arrow} 
     35\section{Automatic Widening} 
     36\seclabel{widening} 

  • trunk/Specification/basic/declarations.tex

    r4271 r4295  
    1919\chaplabel{declarations} 
    2020\chaplabel{names} 
     21 
     22\section{Kinds of Declarations} 
     23\seclabel{decl-kinds} 
     24\section{Namespaces} 
     25\seclabel{namespaces} 
     26\section{Reach and Scope of Declarations} 
     27\seclabel{scope} 
     28\seclabel{shadowing} 

  • trunk/Specification/basic/evaluation/evaluation.tex

    r4271 r4295  
    1919\chaplabel{evaluation} 
    2020 
    21 % \input{\home/basic/evaluation/intro} 
    22 % \input{\home/basic/evaluation/values} 
    23 % \input{\home/basic/evaluation/completion} 
    24 % \input{\home/basic/evaluation/memory-ops} 
    25 % \input{\home/basic/evaluation/parallelism} 
    26 % \input{\home/basic/evaluation/environments} 
    27 % \input{\home/basic/evaluation/io} 
     21\input{\home/basic/evaluation/intro} 
     22\input{\home/basic/evaluation/values} 
     23\input{\home/basic/evaluation/completion} 
     24\input{\home/basic/evaluation/memory-ops} 
     25\input{\home/basic/evaluation/parallelism} 
     26\input{\home/basic/evaluation/environments} 
     27\input{\home/basic/evaluation/io} 

  • trunk/Specification/basic/expressions/expressions.tex

    r4271 r4295  
    1919\chaplabel{expressions} 
    2020 
    21 % \input{\home/basic/expressions/intro} 
    22 % \input{\home/basic/expressions/literals} 
    23 % \input{\home/basic/expressions/var-ref} 
    24 % \input{\home/basic/expressions/field-access} 
    25 % \input{\home/basic/expressions/method-invocation} 
    26 % \input{\home/basic/expressions/function-calls} 
    27 % \input{\home/basic/expressions/operator-app} 
    28 % \input{\home/basic/expressions/function} 
    29 % \input{\home/basic/expressions/object} 
    30 % \input{\home/basic/expressions/bindings} 
    31 % \input{\home/basic/expressions/blocks} 
     21\input{\home/basic/expressions/intro} 
     22\input{\home/basic/expressions/literals} 
     23\input{\home/basic/expressions/var-ref} 
     24\input{\home/basic/expressions/field-access} 
     25\input{\home/basic/expressions/method-invocation} 
     26\input{\home/basic/expressions/function-calls} 
     27\input{\home/basic/expressions/operator-app} 
     28\input{\home/basic/expressions/function} 
     29\input{\home/basic/expressions/object} 
     30\input{\home/basic/expressions/bindings} 
     31\input{\home/basic/expressions/blocks} 
    3232% \input{\home/basic/expressions/label} 
    3333% \input{\home/basic/expressions/while} 
    34 % \input{\home/basic/expressions/generators} 
    35 % \input{\home/basic/expressions/for} 
     34\input{\home/basic/expressions/generators} 
     35\input{\home/basic/expressions/for} 
    3636% \input{\home/basic/expressions/ranges} 
    3737% \input{\home/basic/expressions/reductions} 
    … …  
    3939% \input{\home/basic/expressions/case} 
    4040% \input{\home/basic/expressions/typecase} 
    41 % \input{\home/basic/expressions/atomic} 
     41\input{\home/basic/expressions/atomic} 
    4242% \input{\home/basic/expressions/spawn} 
    4343% \input{\home/basic/expressions/throw} 
    4444% \input{\home/basic/expressions/try} 
    45 % \input{\home/basic/expressions/constant} 
     45\input{\home/basic/expressions/constant} 
    4646% \input{\home/basic/expressions/tuple-expr} 
    4747% \input{\home/basic/expressions/aggregate} 

  • trunk/Specification/basic/functions.tex

    r4271 r4295  
    1818\chapter{Functions} 
    1919\chaplabel{functions} 
     20 
     21\section{Function Declarations} 
     22\seclabel{function-decls} 
     23\section{Function Applications} 
     24\seclabel{function-app} 
     25\section{Abstract Function Declarations} 
     26\seclabel{abstractFunctionDeclarations} 
     27\section{Function Contracts} 
     28\seclabel{contracts} 
     29\section{Local Function Declarations} 
     30\seclabel{local-fn-decls} 

  • trunk/Specification/basic/lexical-structure.tex

    r4271 r4295  
    1818\chapter{Lexical Structure} 
    1919\chaplabel{lexical-structure} 
     20 
     21 
     22\section{Characters} 
     23\seclabel{characters} 
     24\section{Words and Chunks} 
     25\seclabel{words} 
     26\section{Lines, Pages and Position} 
     27\seclabel{position} 
     28\section{ASCII Conversion} 
     29\seclabel{ascii-conversion} 
     30\section{Input Elements and Scanning} 
     31\seclabel{scanning} 
     32\section{Comments} 
     33\seclabel{comments} 
     34\section{Whitespace Elements} 
     35\seclabel{whitespace} 
     36\section{Reserved Words} 
     37\seclabel{reserved-words} 
     38\section{Character Literals} 
     39\seclabel{preprocessing-character-literals} 
     40\section{String Literals} 
     41\seclabel{preprocessing-string-literals} 
     42\section{Boolean Literals} 
     43\section{The Void Literal} 
     44\seclabel{void-literal} 
     45\section{Numerals} 
     46\seclabel{numerals} 
     47\section{Operator Tokens} 
     48\seclabel{lexical-operators} 
     49\subsection{Multicharacter Enclosing Operators} 
     50\seclabel{multichar-enclosers} 
     51\subsection{ASCII Shorthand} 
     52\subsection{Special Operators} 
     53\section{Identifiers} 
     54\seclabel{lexical-identifiers} 
     55\section{Special Tokens} 
     56\seclabel{special-tokens} 
     57\section{Rendering of Fortress Programs} 
     58\seclabel{rendering} 
     59\subsection{Fonts} 
     60\subsection{Numerals} 
     61\subsection{Identifiers} 
     62\seclabel{render-identifiers} 
     63\subsection{Other Rendering Rules} 
     64\label{otherRendering} 

  • trunk/Specification/basic/operators/operators.tex

    r4271 r4295  
    1818\chapter{Operators} 
    1919\chaplabel{operators} 
     20 
     21\input{\home/basic/operators/intro} 
     22\input{\home/basic/operators/operator-app} 
     23\input{\home/basic/operators/precedence} 
     24\input{\home/basic/operators/opr-fixity} 
     25\input{\home/basic/operators/chained-multifix} 
     26\input{\home/basic/operators/enclosingops} 
     27\input{\home/basic/operators/conditionalops} 
     28\input{\home/basic/operators/big-opr} 
     29\input{\home/basic/operators/juxtameaning} 
     30\input{\home/basic/operators/opr-overview} 

  • trunk/Specification/basic/traits.tex

    r4271 r4295  
    1818\chapter{Traits} 
    1919\chaplabel{traits} 
     20 
     21\section{Trait Declarations} 
     22\seclabel{trait-decls} 
     23\section{Method Declarations} 
     24\seclabel{methods} 
     25\section{Abstract Field Declarations} 
     26\seclabel{abstract-fields} 
     27\section{Method Contracts} 
     28\seclabel{method-contracts} 
     29\section{Value Traits} 
     30\seclabel{value-traits} 

  • trunk/Specification/fortress/fortress.bib

    r4271 r4295  
    2424  howpublished = "\url{http://research.sun.com/projects/plrg/Publications/fortress.1.0.pdf}" 
    2525} 
     26 
     27@book{JLS, 
     28  author = {Bracha, Gilad and Steele, Guy and Joy, Bill and Gosling, James }, 
     29  citeulike-article-id = {113341}, 
     30  howpublished = {Paperback}, 
     31  isbn = {0321246780}, 
     32  keywords = {java oopsla-paper}, 
     33  month = {July}, 
     34  publisher = {Addison-Wesley Professional}, 
     35  title = {Java(TM) Language Specification, The (3rd Edition) (Java Series)}, 
     36  url = "\url{http://www.amazon.fr/exec/obidos/ASIN/0321246780/citeulike04-21}", 
     37  year = {2005} 
     38} 
     39 
     40@book{Unicode, 
     41  Year = {2006}, 
     42  Title = {The Unicode Standard, Version 5.0}, 
     43  Author = "{The Unicode Consortium}", 
     44  Publisher = {Addison-Wesley}, 
     45  city = {Boston, MA} 
     46} 

  • trunk/Specification/fortress/fortress.tex

    r4271 r4295  
    4747%the margin, pretty much vertically centered on the line where the marginnote 
    4848%occurs in the input. 
    49 \newcommand{\marginnote}[1]{\marginpar{\begin{minipage}{\marginparwidth}% 
    50 \footnotesize\raggedright\noindent\tolerance=1000{#1}\end{minipage}}} 
     49\renewcommand{\marginparwidth}{.7in} 
     50\newcommand{\marginnote}[1]{% 
     51\marginpar{\footnotesize\raggedright\noindent\tolerance=1000{% 
     52\framebox[\marginparwidth][t]{\parbox[t]{\marginparwidth}{#1}}}}} 
    5153\fi 
    5254 
    … …  
    129131% \input{\home/library/library} 
    130132% \input{\home/basic-lib/basic-lib} 
    131 % \input{\home/advanced-lib/advanced-lib} 
     133\input{\home/advanced-lib/advanced-lib} 
    132134\input{\home/appendices/appendices} 
    133135 

  • trunk/Specification/latex-common/macros/macros.tex

    r4271 r4295  
    3131\newcommand{\see}[1]{see \secref{#1}} 
    3232\newcommand{\See}[1]{See \secref{#1}} 
     33 
     34%Literal text 
     35\newcommand{\txt}[1]{\mbox{\ttfamily\small{#1}}} 
     36% \newcommand{\A}[1]{\underline{\texttt{#1}}} 
     37% \newcommand{\txtr}[1]{\mbox{\ttfamily{#1}}} 
     38% \newcommand{\csdot}{\thinspace\cdot\thinspace} 
     39% \newcommand{\scap}[1]{\textsc{#1}} 
     40 
     41%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     42\newcommand{\unicode}{Unicode 5.0} 
     43%% shell command rendering used in the Overview chapter 
     44\newcommand{\shellcommand}[1]{\txt{#1}} 
     45\newcommand{\library}{the Fortress standard libraries} 
     46\newcommand{\Library}{The Fortress standard libraries} 
     47 
     48%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     49%% Stuff for the grammar excerpt %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     50%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     51 
     52\newcommand{\option}[1]{#1?} 
     53\newcommand{\options}[1]{(#1)?} 
     54 
     55\def\Grammar{\list{}{\leftmargin 2em 
     56                      \itemindent\listparindent 
     57                      \parsep 0pt plus 1pt} 
     58\item[{\sf Syntax:}] 
     59\item 
     60                      \begingroup\tabbing\begin{tabular}{llll}} 
     61\makeatletter 
     62\def\endGrammar{\end{tabular}\unskip\@stopfield\@addfield\ifdim\wd\@curline>0pt\@startfield\@stopline\fi 
     63  \ifnum\@tabpush >\z@ \@badpoptabs \fi\endtrivlist\endgroup\endlist} 
     64\makeatother 
     65 
     66\def\GrammarTwo{\list{}{\leftmargin 2em 
     67                      \itemindent\listparindent 
     68                      \parsep 0pt plus 1pt} 
     69\item 
     70                      \begingroup\tabbing\begin{tabular}{llll}} 
     71\makeatletter 
     72\def\endGrammarTwo{\end{tabular}\unskip\@stopfield\@addfield\ifdim\wd\@curline>0pt\@startfield\@stopline\fi 
     73  \ifnum\@tabpush >\z@ \@badpoptabs \fi\endtrivlist\endgroup\endlist} 
     74\makeatother 
     75 
     76%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     77%% Sectioning commands for libraries %%%%%%% 
     78%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 
     79 
     80\makeatletter 
     81\newcommand\librarysection{\@ifstar{\vskip-\lastskip  \vskip-\parskip 
     82   \@startsection{section}{1}{\z@}{\z@}% 
     83                 {2.3ex \@plus .2ex}{\normalfont\Large\bfseries}}{% 
     84   \vskip 0pt plus .00001fil\nobreak\null 
     85   \@startsection{section}{1}{\z@}{-3.5ex\@plus -1ex \@minus -.2ex}% 
     86                 {2.3ex \@plus .2ex}{\normalfont\Large\bfseries}}} 
     87\newcommand\librarysubsection{\@ifstar{\vskip-\lastskip  \vskip-\parskip 
     88   \@startsection{subsection}{2}{\z@}{\z@}% 
     89                 {0.5ex \@plus .2ex}{\normalfont\bfseries}}{% 
     90   \vskip 0pt plus .00001fil\nobreak\null 
     91   \@startsection{subsection}{2}{\z@}{-3.25ex\@plus -1ex \@minus -.2ex}% 
     92                 {0.5ex \@plus .2ex}{\normalfont\bfseries}}} 
     93\makeatother 
     94\newcommand\Trait[1]{\librarysection{The Trait #1}} 
     95\newcommand\Object[1]{\librarysection{The Object #1}} 
     96\newcommand\Method{\librarysubsection} 
     97\newcommand\Function{\librarysubsection} 
     98\newcommand\Variable{\librarysubsection} 

  • trunk/bin/copyrightCheck.pl

    r4177 r4295  
    3939my $copyright = "Copyright $checkDate"; # The message to look for. 
    4040my $maxlines = 10;       # The message must appear within this many lines of the top of the file. 
    41 my $ignoreThese = 'ant|fortress-keywords|UserDictionary|README.txt|testData|README$|\.fsg$|\.xml$|\_iml$|\.NW$|fortress.vim|\.ods|\.jar$|\.tic$|\.timing$|\.war$|\.zip$|\.fa$|\.tgz$|\/\.|^\.|^Sandbox'; 
     41my $ignoreThese = 'ant|fortress-keywords|UserDictionary|README.txt|testData|README$|\.fsg$|\.xml$|\_iml$|\.NW$|fortress.vim|\.ods|\.jar$|\.tic$|\.timing$|\.war$|\.zip$|\.fa$|\.tgz$|\.head$|\/\.|^\.|^Sandbox'; 
    4242my $tempFile = '/tmp/svnInfo.xml'; 
    4343