Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / WWW / Doc / Reference / org.w3c.jigsaw.pagecompile.PageCompileProp.html
diff --git a/JMCR-Stable/real-world application/jigsaw/WWW/Doc/Reference/org.w3c.jigsaw.pagecompile.PageCompileProp.html b/JMCR-Stable/real-world application/jigsaw/WWW/Doc/Reference/org.w3c.jigsaw.pagecompile.PageCompileProp.html

new file mode 100644 (file)

index 0000000..a31b401
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/WWW/Doc/Reference/org.w3c.jigsaw.pagecompile.PageCompileProp.html
@@ -0,0 +1,98 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">\r
+\r
+<HTML>\r
+<HEAD>\r
+   <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">\r
+   <META NAME="GENERATOR" CONTENT="Mozilla/4.05 [en] (X11; I; SunOS 5.6 sun4u) [Netscape]">\r
+   <TITLE>The PageCompileProp reference manual</TITLE>\r
+<LINK HREF="jigsaw@w3.org" REL="made">\r
+<link rel="stylesheet" type="text/css" href="../style/doc.css"><style type="text/css">\r
+body { margin: 20pt; color: black; background: white; font-family: helvetica;} \r
+</STYLE>\r
+</HEAD>\r
+<BODY>\r
+<A HREF="../../../../WWW" TARGET="_top_"><IMG SRC="../../../Icons//WWW/w3c_home.gif" ALT="W3C" BORDER=0 HEIGHT=48 WIDTH=72></A><A HREF="../../../../WWW" TARGET="_top_">&nbsp;<A HREF="../../" TARGET="_top_"><IMG SRC="../../../Icons//jigsaw" ALT="Jigsaw" BORDER=0 ></A>\r
+<hr noshade size="1"></A><A HREF="resources.html">All resources</A> <A HREF="frames.html">All\r
+frames&nbsp;</A>\r
+<hr noshade size="1">\r
+<H1>\r
+PageCompileProp</H1>\r
+Gives editable access to Jigsaw Page Compilation properties, when <A HREF="org.w3c.jigsaw.pagecompile.PageCompileFrame.html">PageCompileFrame</A>\r
+is used somewhere.\r
+\r
+<P>\r
+<hr noshade size="1">\r
+<H2>\r
+Inherits</H2>\r
+The <A HREF="http://jigsaw.w3.org/Doc/Programmer/api/org/w3c/jigsaw/pagecompile/PageCompileProp.html">PageCompileProp</A>\r
+class inerits from the following classes:\r
+<UL>\r
+<LI>\r
+<A HREF="org.w3c.tools.resources.Resource.html">Resource</A></LI>\r
+\r
+<LI>\r
+<A HREF="org.w3c.jigsaw.config.PropertySet.html">PropertySet</A></LI>\r
+</UL>\r
+\r
+<hr noshade size="1">\r
+<H2>\r
+Attributes description</H2>\r
+The PageCompileProp defines the following attributes:\r
+<UL>\r
+<LI>\r
+<A HREF="#org.w3c.jigsaw.pagecompile.dir">org.w3c.jigsaw.pagecompile.dir</A></LI>\r
+\r
+<LI>\r
+<A HREF="#org.w3c.jigsaw.pagecompile.compiler">org.w3c.jigsaw.pagecompile.compiler</A></LI>\r
+</UL>\r
+\r
+<hr noshade size="1"><A NAME="org.w3c.jigsaw.pagecompile.dir"></A><TT>org.w3c.jigsaw.pagecompile.dir</TT>\r
+<DL>\r
+<DT>\r
+<I>semantics</I></DT>\r
+\r
+<DD>\r
+&nbsp;Specify the directory for storing generated class file.</DD>\r
+\r
+<DT>\r
+<I>type</I></DT>\r
+\r
+<DD>\r
+&nbsp;This attribute is an editable <A HREF="http://jigsaw.w3.org/Doc/Programmer/api/org/w3c/tools/resources/FileAttribute.html">FileAttribute</A></DD>\r
+\r
+<DT>\r
+<I>default value</I></DT>\r
+\r
+<DD>\r
+This attribute defaults to <B>&lt;instdir>/Jigsaw/Jigsaw/compiledPages/</B>\r
+.</DD>\r
+</DL>\r
+\r
+<hr noshade size="1"><A NAME="org.w3c.jigsaw.pagecompile.compiler"></A><TT>org.w3c.jigsaw.pagecompile.compiler</TT>\r
+<DL>\r
+<DT>\r
+<I>semantics</I></DT>\r
+\r
+<DD>\r
+&nbsp;Specify the compiler used to compile generated frames.</DD>\r
+\r
+<DT>\r
+<I>type</I></DT>\r
+\r
+<DD>\r
+&nbsp;This attribute is an editable <A HREF="http://jigsaw.w3.org/Doc/Programmer/api/org/w3c/tools/resources/StringAttribute.html">StringAttribute</A></DD>\r
+\r
+<DT>\r
+<I>default value</I></DT>\r
+\r
+<DD>\r
+This attribute defaults to <B>org.w3c.jigsaw.pagecompile.JDKCompiler</B>.</DD>\r
+</DL>\r
+\r
+<hr noshade size="1">\r
+\r
+<P><I><A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A></I>\r
+<BR><I>$Id: org.w3c.jigsaw.pagecompile.PageCompileProp.html,v 1.1 1998/09/04\r
+09:49:03 bmahe Exp $</I>\r
+</BODY>\r
+</HTML>\r