removed profj

svn: r16094
This commit is contained in:
Robby Findler 2009-09-20 22:23:36 +00:00
parent 56f53ebd7f
commit 8b73819d72
2 changed files with 0 additions and 78 deletions

View File

@ -343,72 +343,6 @@ A program in the teaching languages should be tested using the check forms ---
@; ----------------------------------------
@section[#:tag "profj"]{ProfessorJ}
The ProfessorJ languages are Java based languages designed for teaching and
experimentation. There are four teaching based languages:
@itemize[
@item{The @as-index{@drlang{ProfessorJ Beginner} language} is a small
subset of Java, designed for novice computer science students.
Each class must contain a constructor that initializes the class's
fields; each method must return a value.}
@item{The @as-index{@drlang{ProfessorJ Intermediate} language} is an extension to
ProfessorJ Beginner that adds full class-based inheritance and mutation.
Classes do not require constructors and null values may arise.}
@item{The @as-index{@drlang{ProfessorJ Intermediate + access} language} adds
access controls, such as public or private, to member definitions and
supports overloading constructor definitions.}
@item{The @as-index{@drlang{ProfessorJ Advanced} language} adds arrays, loop
constructs, and package specifications.}
]
The remaining two languages support language extensions and experimentations:
@itemize[
@item{The @as-index{@drlang{ProfessorJ Full} language} supports most of Java 1.1
features, as well as a set of constructs designed for the development of
unit tests}
@item{The @as-index{@drlang{ProfessorJ Java + dynamic} language} extends the
ProfessorJ Full language with a dynamic type and the ability to import Scheme
libraries directly, for developing programs that use both languages.}
]
Value printing can be either @defterm{Class} or @defterm{Class + Field}, selectable
in the show details section of the language selection window. The Class printing style
only displays the class name for any object value. The Class + Field style displays
the class combined with the names and values for all of the class's fields; when displaying
a recursively defined object, any repeated object reverts to the Class style display for
the second appearance. Languages with arrays may opt to always display an entire array or
truncate the middle section of longer arrays.
All of the ProfessorJ languages support testing extensions, and tests are required
within the teaching languages. The experimental languages, Full and Java + dynamic,
allow the removal of these forms within the language selection window.
Programs in the teaching languages must be tested, using a class containing the word
'Example' in the name and the 'check ... expect ...' comparison forms. On run,
all Example classes are instanstiated and all methods prefixed with the word 'test'
are run. When there are no tests, a warning appears in the interactions window;
when all tests succeed, an acknowledgement appears in the interactions window;
otherwise, a testing window appears to report the results. See @secref["menu:view"]
for details on configuring the report behavior. Tests can be disabled if necessary,
see @secref["menu:scheme"] for details.
Unless disabled in the language configuration window, expression-level coverage
information is collected during testing. Selecting the buttons within the report
modifies the color of the program in the definitions window, to distinguish
expressions that were used in the test from those that were not. Typing into the
definitions window restores the original coloring.
@; ----------------------------------------
@section[#:tag "experimental-langs"]{Other Experimental Languages}
For information on @onscreen{Lazy Scheme}, see @other-manual['(lib "lazy/lazy.scrbl")].

View File

@ -364,18 +364,6 @@ background that signals the source location of an error.}
(as a Unicode character) into the program. The @|lam-str| symbol is
normally bound the same as @scheme[lambda].}
@item{@defmenuitem{Insert Java Comment Box} Inserts a box that is
ignored by DrScheme. Unlike the @onscreen{Insert Comment Box} menu
item, this is designed for the ProfessorJ language levels. See
@secref["profj"].}
@item{@defmenuitem{Insert Java Interactions Box} Inserts a box that
will allows Java expressions and statements within Scheme
programs. The result of the box is a Scheme value corresponding to
the result(s) of the Java expressions. At this time, Scheme values
cannot enter the box. The box will accept one Java statement or
expression per line.}
@item{@defmenuitem{Insert XML Box} Inserts an XML; see
@secref["xml-boxes"] for more information.}