From 8b73819d72b82292a5a3d9b70568d24b7ac37dae Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 20 Sep 2009 22:23:36 +0000 Subject: [PATCH] removed profj svn: r16094 --- collects/scribblings/drscheme/languages.scrbl | 66 ------------------- collects/scribblings/drscheme/menus.scrbl | 12 ---- 2 files changed, 78 deletions(-) diff --git a/collects/scribblings/drscheme/languages.scrbl b/collects/scribblings/drscheme/languages.scrbl index 63f10a1808..66c70eb339 100644 --- a/collects/scribblings/drscheme/languages.scrbl +++ b/collects/scribblings/drscheme/languages.scrbl @@ -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")]. diff --git a/collects/scribblings/drscheme/menus.scrbl b/collects/scribblings/drscheme/menus.scrbl index acdb664dce..31a8d70401 100644 --- a/collects/scribblings/drscheme/menus.scrbl +++ b/collects/scribblings/drscheme/menus.scrbl @@ -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.}