BC.1
上传用户:datang2001
上传日期:2007-02-01
资源大小:53269k
文件大小:31k
源码类别:

操作系统开发

开发平台:

C/C++

  1. ."
  2. ." bc.1 - the *roff document processor source for the bc manual
  3. ."
  4. ." This file is part of bc written for MINIX.
  5. ." Copyright (C) 1991, 1992 Free Software Foundation, Inc.
  6. ."
  7. ." This program is free software; you can redistribute it and/or modify
  8. ." it under the terms of the GNU General Public License as published by
  9. ." the Free Software Foundation; either version 2 of the License , or
  10. ." (at your option) any later version.
  11. ."
  12. ." This program is distributed in the hope that it will be useful,
  13. ." but WITHOUT ANY WARRANTY; without even the implied warranty of
  14. ." MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15. ." GNU General Public License for more details.
  16. ."
  17. ." You should have received a copy of the GNU General Public License
  18. ." along with this program; see the file COPYING.  If not, write to
  19. ." the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
  20. ."
  21. ." You may contact the author by:
  22. ." e-mail: phil@cs.wwu.edu
  23. ." us-mail: Philip A. Nelson
  24. ." Computer Science Department, 9062
  25. ." Western Washington University
  26. ." Bellingham, WA 98226-9062
  27. ."
  28. ."
  29. .TH bc 1 ." "Command Manual" v1.02 "Feb 3, 1992"
  30. .SH NAME
  31. bc - An arbitrary precision calculator language
  32. .SH SYNTAX
  33. fBbcfR [ fB-lwsfR ] [ fI file ...fR ]
  34. .SH VERSION
  35. This man page documents GNU bc version 1.02.
  36. .SH DESCRIPTION
  37. fBbcfR is a language that supports arbitrary precision numbers
  38. with interactive execution of statements.  There are some similarities
  39. in the syntax to the C programming language. 
  40. A standard math library is available by command line option.
  41. If requested, the math library is defined before processing any files.
  42. fBbcfR starts by processing code from all the files listed
  43. on the command line in the order listed.  After all files have been
  44. processed, fBbcfR reads from the standard input.  All code is
  45. executed as it is read.  (If a file contains a command to halt the
  46. processor, fBbcfR will never read from the standard input.)
  47. .PP
  48. This version of fBbcfR contains several extensions beyond
  49. traditional fBbcfR implementations and the POSIX draft standard.
  50. Command line options can cause these extensions to print a warning 
  51. or to be rejected.  This 
  52. document describes the language accepted by this processor.
  53. Extensions will be identified as such.
  54. .SS OPTIONS
  55. .IP -l
  56. Define the standard math library.
  57. .IP -w
  58. Give warnings for extensions to POSIX fBbcfR.
  59. .IP -s
  60. Process exactly the POSIX fBbcfR language.
  61. .SS NUMBERS
  62. The most basic element in fBbcfR is the number.  Numbers are
  63. arbitrary precision numbers.  This precision is both in the integer
  64. part and the fractional part.  All numbers are represented internally
  65. in decimal and all computation is done in decimal.  (This version
  66. truncates results from divide and multiply operations.)  There are two
  67. attributes of numbers, the length and the scale.  The length is the
  68. total number of significant decimal digits in a number and the scale
  69. is the total number of decimal digits after the decimal point.  For
  70. example:
  71. .nf
  72. .RS
  73.  .000001 has a length of 6 and scale of 6.
  74.  1935.000 has a length of 7 and a scale of 3.
  75. .RE
  76. .fi
  77. .SS VARIABLES
  78. Numbers are stored in two types of variables, simple variables and
  79. arrays.  Both simple variables and array variables are named.  Names
  80. begin with a letter followed by any number of letters, digits and
  81. underscores.  All letters must be lower case.  (Full alpha-numeric
  82. names are an extension. In POSIX fBbcfR all names are a single
  83. lower case letter.)  The type of variable is clear by the context
  84. because all array variable names will be followed by brackets ([]).
  85. .PP
  86. There are four special variables, fBscale, ibase, obase,fR and
  87. fBlastfR.  fBscalefR defines how some operations use digits after the
  88. decimal point.  The default value of fBscalefR is 0. fBibasefR
  89. and fBobasefR define the conversion base for input and output
  90. numbers.  The default for both input and output is base 10.
  91. fBlastfR (an extension) is a variable that has the value of the last
  92. printed number.  These will be discussed in further detail where
  93. appropriate.  All of these variables may have values assigned to them
  94. as well as used in expressions.
  95. .SS COMMENTS
  96. Comments in fBbcfR start with the characters fB/*fR and end with
  97. the characters fB*/fR.  Comments may start anywhere and appear as a
  98. single space in the input.  (This causes comments to delimit other
  99. input items.  For example, a comment can not be found in the middle of
  100. a variable name.)  Comments include any newlines (end of line) between
  101. the start and the end of the comment.
  102. .SS EXPRESSIONS
  103. The numbers are manipulated by expressions and statements.  Since
  104. the language was designed to be interactive, statements and expressions
  105. are executed as soon as possible.  There is no "main" program.  Instead,
  106. code is executed as it is encountered.  (Functions, discussed in
  107. detail later, are defined when encountered.)
  108. .PP
  109. A simple expression is just a constant. fBbcfR converts constants
  110. into internal decimal numbers using the current input base, specified
  111. by the variable fBibasefR. (There is an exception in functions.)
  112. The legal values of fBibasefR are 2 through 16 (F).  Assigning a
  113. value outside this range to fBibasefR will result in a value of 2
  114. or 16.  Input numbers may contain the characters 0-9 and A-F. (Note:
  115. They must be capitals.  Lower case letters are variable names.)
  116. Single digit numbers always have the value of the digit regardless of
  117. the value of fBibasefR. (i.e. A = 10.)  For multi-digit numbers,
  118. fBbcfR changes all input digits greater or equal to ibase to the
  119. value of fBibasefR-1.  This makes the number fBFFFfR always be
  120. the largest 3 digit number of the input base.
  121. .PP
  122. Full expressions are similar to many other high level languages.
  123. Since there is only one kind of number, there are no rules for mixing
  124. types.  Instead, there are rules on the scale of expressions.  Every
  125. expression has a scale.  This is derived from the scale of original
  126. numbers, the operation performed and in many cases, the value of the
  127. variable fBscalefR. Legal values of the variable fBscalefR are
  128. 0 to the maximum number representable by a C integer.
  129. .PP
  130. In the following descriptions of legal expressions, "expr" refers to a
  131. complete expression and "var" refers to a simple or an array variable.
  132. A simple variable is just a
  133. .RS
  134. fInamefR
  135. .RE
  136. and an array variable is specified as
  137. .RS
  138. fInamefR[fIexprfR]
  139. .RE
  140. Unless specifically
  141. mentioned the scale of the result is the maximum scale of the
  142. expressions involved.
  143. .IP "- expr"
  144. The result is the negation of the expression.
  145. .IP "++ var"
  146. The variable is incremented by one and the new value is the result of
  147. the expression.
  148. .IP "-- var"
  149. The variable
  150. is decremented by one and the new value is the result of the
  151. expression.
  152. .IP "var ++"
  153.  The result of the expression is the value of
  154. the variable and then the variable is incremented by one.
  155. .IP "var --"
  156. The result of the expression is the value of the variable and then
  157. the variable is decremented by one.
  158. .IP "expr + expr"
  159. The result of the expression is the sum of the two expressions.
  160. .IP "expr - expr"
  161. The result of the expression is the difference of the two expressions.
  162. .IP "expr * expr"
  163. The result of the expression is the product of the two expressions.
  164. .IP "expr / expr"
  165. The result of the expression is the quotient of the two expressions.
  166. The scale of the result is the value of the variable fBscalefR.
  167. .IP "expr % expr"
  168. The result of the expression is the "remainder" and it is computed in the
  169. following way.  To compute a%b, first a/b is computed to fBscalefR
  170. digits.  That result is used to compute a-(a/b)*b to the scale of the
  171. maximum of fBscalefR+scale(b) and scale(a).  If fBscalefR is set
  172. to zero and both expressions are integers this expression is the
  173. integer remainder function.
  174. .IP "expr ^ expr"
  175. The result of the expression is the value of the first raised to the
  176. second. The second expression must be an integer.  (If the second
  177. expression is not an integer, a warning is generated and the
  178. expression is truncated to get an integer value.)  The scale of the
  179. result is fBscalefR if the exponent is negative.  If the exponent
  180. is positive the scale of the result is the minimum of the scale of the
  181. first expression times the value of the exponent and the maximum of
  182. fBscalefR and the scale of the first expression.  (e.g. scale(a^b)
  183. = min(scale(a)*b, max( fBscale,fR scale(a))).)  It should be noted
  184. that expr^0 will always return the value of 1.
  185. .IP "( expr )"
  186. This alters the standard precedence to force the evaluation of the
  187. expression.
  188. .IP "var = expr"
  189. The variable is assigned the value of the expression.
  190. .IP "var <op>= expr"
  191. This is equivalent to "var = var <op> expr" with the exception that
  192. the "var" part is evaluated only once.  This can make a difference if
  193. "var" is an array.
  194. .PP
  195.  Relational expressions are a special kind of expression
  196. that always evaluate to 0 or 1, 0 if the relation is false and 1 if
  197. the relation is true.  These may appear in any legal expression.
  198. (POSIX bc requires that relational expressions are used only in if,
  199. while, and for statements and that only one relational test may be
  200. done in them.)  The relational operators are
  201. .IP "expr1 < expr2"
  202. The result is 1 if expr1 is strictly less than expr2.
  203. .IP "expr1 <= expr2"
  204. The result is 1 if expr1 is less than or equal to expr2.
  205. .IP "expr1 > expr2"
  206. The result is 1 if expr1 is strictly greater than expr2.
  207. .IP "expr1 >= expr2"
  208. The result is 1 if expr1 is greater than or equal to expr2.
  209. .IP "expr1 == expr2"
  210. The result is 1 if expr1 is equal to expr2.
  211. .IP "expr1 != expr2"
  212. The result is 1 if expr1 is not equal to expr2.
  213. .PP
  214. Boolean operations are also legal.  (POSIX fBbcfR does NOT have
  215. boolean operations). The result of all boolean operations are 0 and 1
  216. (for false and true) as in relational expressions.  The boolean
  217. operators are:
  218. .IP "!expr"
  219. The result is 1 if expr is 0.
  220. .IP "expr && expr"
  221. The result is 1 if both expressions are non-zero.
  222. .IP "expr || expr"
  223. The result is 1 if either expression is non-zero.
  224. .PP
  225. The expression precedence is as follows: (lowest to highest)
  226. .nf
  227. .RS
  228. || operator, left associative
  229. && operator, left associative
  230. ! operator, nonassociative
  231. Relational operators, left associative
  232. Assignment operator, right associative
  233. + and - operators, left associative
  234. *, / and % operators, left associative
  235. ^ operator, right associative
  236. unary - operator, nonassociative
  237. ++ and -- operators, nonassociative
  238. .RE
  239. .fi
  240. .PP
  241. This precedence was chosen so that POSIX compliant fBbcfR programs
  242. will run correctly. This will cause the use of the relational and
  243. logical operators to have some unusual behavior when used with
  244. assignment expressions.  Consider the expression:
  245. .RS
  246. a = 3 < 5
  247. .RE
  248. .PP
  249. Most C programmers would assume this would assign the result of "3 <
  250. 5" (the value 1) to the variable "a".  What this does in fBbcfR is
  251. assign the value 3 to the variable "a" and then compare 3 to 5.  It is
  252. best to use parenthesis when using relational and logical operators
  253. with the assignment operators.
  254. .PP
  255. There are a few more special expressions that are provided in fBbcfR.
  256. These have to do with user defined functions and standard
  257. functions.  They all appear as "fInamefB(fIparametersfB)fR".
  258. See the section on functions for user defined functions.  The standard
  259. functions are:
  260. .IP "length ( expression )"
  261. The value of the length function is the number of significant digits in the
  262. expression.
  263. .IP "read ( )"
  264. The read function (an extension) will read a number from the standard
  265. input, regardless of where the function occurs.   Beware, this can
  266. cause problems with the mixing of data and program in the standard input.
  267. The best use for this function is in a previously written program that
  268. needs input from the user, but never allows program code to be input
  269. from the user.  The value of the read function is the number read from
  270. the standard input using the current value of the variable 
  271. fBibasefR for the conversion base.
  272. .IP "scale ( expression )"
  273. The value of the scale function is the number of digits after the decimal
  274. point in the expression.
  275. .IP "sqrt ( expression )"
  276. The value of the sqrt function is the square root of the expression.  If
  277. the expression is negative, a run time error is generated.
  278. .SS STATEMENTS
  279. Statements (as in most algebraic languages) provide the sequencing of
  280. expression evaluation.  In fBbcfR statements are executed "as soon
  281. as possible."  Execution happens when a newline in encountered and
  282. there is one or more complete statements.  Due to this immediate
  283. execution, newlines are very important in fBbcfR. In fact, both a
  284. semicolon and a newline are used as statement separators.  An
  285. improperly placed newline will cause a syntax error.  Because newlines
  286. are statement separators, it is possible to hide a newline by using
  287. the backslash character.  The sequence "e<nl>", where <nl> is the
  288. newline appears to fBbcfR as whitespace instead of a newline.  A
  289. statement list is a series of statements separated by semicolons and
  290. newlines.  The following is a list of fBbcfR statements and what
  291. they do: (Things enclosed in brackets ([]) are optional parts of the
  292. statement.)
  293. .IP "expression"
  294. This statement does one of two things.  If the expression starts with
  295. "<variable> <assignment> ...", it is considered to be an assignment
  296. statement.  If the expression is not an assignment statement, the
  297. expression is evaluated and printed to the output.  After the number
  298. is printed, a newline is printed.  For example, "a=1" is an assignment
  299. statement and "(a=1)" is an expression that has an embedded
  300. assignment.  All numbers that are printed are printed in the base
  301. specified by the variable fBobasefR. The legal values for fB
  302. obasefR are 2 through BC_BASE_MAX.  (See the section LIMITS.)  For
  303. bases 2 through 16, the usual method of writing numbers is used.  For
  304. bases greater than 16, fBbcfR uses a multi-character digit method
  305. of printing the numbers where each higher base digit is printed as a
  306. base 10 number.  The multi-character digits are separated by spaces.
  307. Each digit contains the number of characters required to represent the
  308. base ten value of "obase-1".  Since numbers are of arbitrary
  309. precision, some numbers may not be printable on a single output line.
  310. These long numbers will be split across lines using the "e" as the
  311. last character on a line.  The maximum number of characters printed
  312. per line is 70.  Due to the interactive nature of fBbcfR printing
  313. a number cause the side effect of assigning the printed value the the
  314. special variable fBlastfR. This allows the user to recover the
  315. last value printed without having to retype the expression that
  316. printed the number.  Assigning to fBlastfR is legal and will
  317. overwrite the last printed value with the assigned value.  The newly
  318. assigned value will remain until the next number is printed or another
  319. value is assigned to fBlastfR.
  320. .IP "string"
  321. The string is printed to the output.  Strings start with a double quote
  322. character and contain all characters until the next double quote character.
  323. All characters are take literally, including any newline.  No newline
  324. character is printed after the string.
  325. .IP "fBprintfR list"
  326. The print statement (an extension) provides another method of output.
  327. The "list" is a list of strings and expressions separated by commas.
  328. Each string or expression is printed in the order of the list.  No
  329. terminating newline is printed.  Expressions are evaluated and their
  330. value is printed and assigned the the variable fBlastfR. Strings
  331. in the print statement are printed to the output and may contain
  332. special characters.  Special characters start with the backslash
  333. character (e).  The special characters recognized by fBbcfR are
  334. "b" (bell), "f" (form feed), "n" (newline), "r" (carriage return), "t"
  335. (tab), and "e" (backslash).  Any other character following the
  336. backslash will be ignored.  This still does not allow the double quote
  337. character to be part of any string.
  338. .IP "{ statement_list }"
  339. This is the compound statement.  It allows multiple statements to be
  340. grouped together for execution.
  341. .IP "fBiffR ( expression ) fBthenfR statement1 [fBelsefR statement2]"
  342. The if statement evaluates the expression and executes statement1 or
  343. statement2 depending on the value of the expression.  If the expression
  344. is non-zero, statement1 is executed.  If statement2 is present and
  345. the value of the expression is 0, then statement2 is executed.  (The
  346. else clause is an extension.)
  347. .IP "fBwhilefR ( expression ) statement"
  348. The while statement will execute the statement while the expression
  349. is non-zero.  It evaluates the expression before each execution of
  350. the statement.   Termination of the loop is caused by a zero
  351. expression value or the execution of a break statement.
  352. .IP "fBforfR ( [expression1] ; [expression2] ; [expression3] ) statement"
  353. The for statement controls repeated execution of the statement.  
  354. Expression1 is evaluated before the loop.  Expression2 is evaluated
  355. before each execution of the statement.  If it is non-zero, the statement
  356. is evaluated.  If it is zero, the loop is terminated.  After each
  357. execution of the statement, expression3 is evaluated before the reevaluation
  358. of expression2.  If expression1 or expression3 are missing, nothing is
  359. evaluated at the point they would be evaluated.
  360. If expression2 is missing, it is the same as substituting
  361. the value 1 for expression2.  (The optional expressions are an
  362. extension. POSIX fBbcfR requires all three expressions.)
  363. The following is equivalent code for the for statement:
  364. .nf
  365. .RS
  366. expression1;
  367. while (expression2) {
  368.    statement;
  369.    expression3;
  370. }
  371. .RE
  372. .fi
  373. .IP "fBbreakfR"
  374. This statement causes a forced exit of the most recent enclosing while
  375. statement or for statement.
  376. .IP "fBcontinuefR"
  377. The continue statement (an extension)  causes the most recent enclosing
  378. for statement to start the next iteration.
  379. .IP "fBhaltfR"
  380. The halt statement (an extension) is an executed statement that causes
  381. the fBbcfR processor to quit only when it is executed.  For example,
  382. "if (0 == 1) halt" will not cause fBbcfR to terminate because the halt is
  383. not executed.
  384. .IP "fBreturnfR"
  385. Return the value 0 from a function.  (See the section on functions.)
  386. .IP "fBreturnfR ( expression )"
  387. Return the value of the expression from a function.  (See the section on 
  388. functions.)
  389. .SS PSEUDO STATEMENTS
  390. These statements are not statements in the traditional sense.  They are
  391. not executed statements.  Their function is performed at "compile" time.
  392. .IP "fBlimitsfR"
  393. Print the local limits enforced by the local version of fBbcfR.  This
  394. is an extension.
  395. .IP "fBquitfR"
  396. When the quit statement is read, the fBbcfR processor
  397. is terminated, regardless of where the quit statement is found.  For
  398. example, "if (0 == 1) quit" will cause fBbcfR to terminate.
  399. .IP "fBwarrantyfR"
  400. Print a longer warranty notice.  This is an extension.
  401. .SS FUNCTIONS
  402. Functions provide a method of defining a computation that can be executed
  403. later.  Functions in 
  404. .B bc
  405. always compute a value and return it to the caller.  Function definitions
  406. are "dynamic" in the sense that a function is undefined until a definition
  407. is encountered in the input.  That definition is then used until another
  408. definition function for the same name is encountered.  The new definition
  409. then replaces the older definition.  A function is defined as follows:
  410. .nf
  411. .RS
  412. fBdefine fIname fB( fIparameters fB) { fInewline
  413. fI    auto_list   statement_list fB}fR
  414. .RE
  415. .fi
  416. A function call is just an expression of the form
  417. "fInamefB(fIparametersfB)fR".
  418. .PP
  419. Parameters are numbers or arrays (an extension).  In the function definition,
  420. zero or more parameters are defined by listing their names separated by
  421. commas.  Numbers are only call by value parameters.  Arrays are only
  422. call by variable.  Arrays are specified in the parameter definition by
  423. the notation "fInamefB[]fR".   In the function call, actual parameters
  424. are full expressions for number parameters.  The same notation is used
  425. for passing arrays as for defining array parameters.  The named array is
  426. passed by variable to the function.  Since function definitions are dynamic,
  427. parameter numbers and types are checked when a function is called.  Any
  428. mismatch in number or types of parameters will cause a runtime error.
  429. A runtime error will also occur for the call to an undefined function.
  430. .PP
  431. The fIauto_listfR is an optional list of variables that are for
  432. "local" use.  The syntax of the auto list (if present) is "fBauto
  433. fInamefR, ... ;".  (The semicolon is optional.)  Each fInamefR is
  434. the name of an auto variable.  Arrays may be specified by using the
  435. same notation as used in parameters.  These variables have their
  436. values pushed onto a stack at the start of the function.  The
  437. variables are then initialized to zero and used throughout the
  438. execution of the function.  At function exit, these variables are
  439. popped so that the original value (at the time of the function call)
  440. of these variables are restored.  The parameters are really auto
  441. variables that are initialized to a value provided in the function
  442. call.  Auto variables are different than traditional local variables
  443. in the fact that if function A calls function B, B may access function
  444. A's auto variables by just using the same name, unless function B has
  445. called them auto variables.  Due to the fact that auto variables and
  446. parameters are pushed onto a stack, fBbcfR supports recursive functions.
  447. .PP
  448. The function body is a list of fBbcfR statements.  Again, statements
  449. are separated by semicolons or newlines.  Return statements cause the
  450. termination of a function and the return of a value.  There are two
  451. versions of the return statement.  The first form, "fBreturnfR", returns
  452. the value 0 to the calling expression.  The second form, 
  453. "fBreturn ( fIexpression fB)fR", computes the value of the expression
  454. and returns that value to the calling expression.  There is an implied
  455. "fBreturn (0)fR" at the end of every function.  This allows a function
  456. to terminate and return 0 without an explicit return statement.
  457. .PP
  458. Functions also change the usage of the variable fBibasefR.  All
  459. constants in the function body will be converted using the value of
  460. fBibasefR at the time of the function call.  Changes of fBibasefR
  461. will be ignored during the execution of the function except for the
  462. standard function fBreadfR, which will always use the current value
  463. of fBibasefR for conversion of numbers.
  464. .SS MATH LIBRARY
  465. If fBbcfR is invoked with the fB-lfR option, a math library is preloaded
  466. and the default scale is set to 20.   The math functions will calculate their
  467. results to the scale set at the time of their call.  
  468. The math library defines the following functions:
  469. .IP "s (fIxfR)"
  470. The sine of x in radians.
  471. .IP "c (fIxfR)"
  472. The cosine of x in radians.
  473. .IP "a (fIxfR)"
  474. The arctangent of x.
  475. .IP "l (fIxfR)"
  476. The natural logarithm of x.
  477. .IP "e (fIxfR)"
  478. The exponential function of raising e to the value x.
  479. .IP "j (fIn,xfR)"
  480. The bessel function of integer order n of x.
  481. .SS EXAMPLES
  482. In /bin/sh,  the following will assign the value of "pi" to the shell
  483. variable fBpifR.
  484. .RS
  485. fB
  486. pi=$(echo "scale=10; 4*a(1)" | bc -l)
  487. fR
  488. .RE
  489. .PP
  490. The following is the definition of the exponential function used in the
  491. math library.  This function is written in POSIX fBbcfR.
  492. .nf
  493. .RS
  494. fB
  495. scale = 20
  496. /* Uses the fact that e^x = (e^(x/2))^2
  497.    When x is small enough, we use the series:
  498.      e^x = 1 + x + x^2/2! + x^3/3! + ...
  499. */
  500. define e(x) {
  501.   auto  a, d, e, f, i, m, v, z
  502.   /* Check the sign of x. */
  503.   if (x<0) {
  504.     m = 1
  505.     x = -x
  506.   } 
  507.   /* Precondition x. */
  508.   z = scale;
  509.   scale = 4 + z + .44*x;
  510.   while (x > 1) {
  511.     f += 1;
  512.     x /= 2;
  513.   }
  514.   /* Initialize the variables. */
  515.   v = 1+x
  516.   a = x
  517.   d = 1
  518.   for (i=2; 1; i++) {
  519.     e = (a *= x) / (d *= i)
  520.     if (e == 0) {
  521.       if (f>0) while (f--)  v = v*v;
  522.       scale = z
  523.       if (m) return (1/v);
  524.       return (v/1);
  525.     }
  526.     v += e
  527.   }
  528. }
  529. fR
  530. .RE
  531. .fi
  532. .PP
  533. The following is code that uses the extended features of fBbcfR to
  534. implement a simple program for calculating checkbook balances.  This
  535. program is best kept in a file so that it can be used many times 
  536. without having to retype it at every use.
  537. .nf
  538. .RS
  539. fB
  540. scale=2
  541. print "enCheck book program!en"
  542. print "  Remember, deposits are negative transactions.en"
  543. print "  Exit by a 0 transaction.enen"
  544. print "Initial balance? "; bal = read()
  545. bal /= 1
  546. print "en"
  547. while (1) {
  548.   "current balance = "; bal
  549.   "transaction? "; trans = read()
  550.   if (trans == 0) break;
  551.   bal -= trans
  552.   bal /= 1
  553. }
  554. quit
  555. fR
  556. .RE
  557. .fi
  558. .PP
  559. The following is the definition of the recursive factorial function.
  560. .nf
  561. .RS
  562. fB
  563. define f (x) {
  564.   if (x <= 1) return (1);
  565.   return (f(x-1) * x);
  566. }
  567. fR
  568. .RE
  569. .fi
  570. .SS DIFFERENCES
  571. This version of 
  572. .B bc
  573. was implemented from the POSIX P1003.2/D11 draft and contains
  574. several differences and extensions relative to the draft and
  575. traditional implementations.
  576. It is not implemented in the traditional way using
  577. .I dc(1).
  578. This version is a single process which parses and runs a byte code
  579. translation of the program.  There is an "undocumented" option (-c)
  580. that causes the program to output the byte code to
  581. the standard output instead of running it.  It was mainly used for
  582. debugging the parser and preparing the math library.
  583. .PP
  584. A major source of differences is
  585. extensions, where a feature is extended to add more functionality and
  586. additions, where new features are added. 
  587. The following is the list of differences and extensions.
  588. .IP LANG 11n
  589. This version does not conform to the POSIX standard in the processing
  590. of the LANG environment variable and all environment variables starting
  591. with LC_.
  592. .IP names
  593. Traditional and POSIX
  594. .B bc
  595. have single letter names for functions, variables and arrays.  They have
  596. been extended to be multi-character names that start with a letter and
  597. may contain letters, numbers and the underscore character.
  598. .IP Strings
  599. Strings are not allowed to contain NUL characters.  POSIX says all characters
  600. must be included in strings.
  601. .IP last
  602. POSIX fBbcfR does not have a fBlastfR variable.  Some implementations
  603. of fBbcfR use the period (.) in a similar way.  
  604. .IP comparisons
  605. POSIX fBbcfR allows comparisons only in the if statement, the while
  606. statement, and the second expression of the for statement.  Also, only
  607. one relational operation is allowed in each of those statements.
  608. .IP "if statement, else clause"
  609. POSIX fBbcfR does not have an else clause.
  610. .IP "for statement"
  611. POSIX fBbcfR requires all expressions to be present in the for statement.
  612. .IP "&&, ||, !"
  613. POSIX fBbcfR does not have the logical operators.
  614. .IP "read function"
  615. POSIX fBbcfR does not have a read function.
  616. .IP "print statement"
  617. POSIX fBbcfR does not have a print statement .
  618. .IP "continue statement"
  619. POSIX fBbcfR does not have a continue statement.
  620. .IP "array parameters"
  621. POSIX fBbcfR does not have array parameters.  Other implementations
  622. of fBbcfR may have call by value array parameters.
  623. .IP "=+, =-, =*, =/, =%, =^"
  624. POSIX fBbcfR does not require these "old style" assignment operators to
  625. be defined.  This version may allow these "old style" assignments.  Use
  626. the limits statement to see if the installed version supports them.  If
  627. it does support the "old style" assignment operators, the statement
  628. "a =- 1" will decrement fBafR by 1 instead of setting fBafR to the
  629. value -1.
  630. .IP "spaces in numbers"
  631. Other implementations of fBbcfR allow spaces in numbers.  For example,
  632. "x=1 3" would assign the value 13 to the variable x.  The same statement
  633. would cause a syntax error in this version of fBbcfR.
  634. .IP "errors and execution"
  635. This implementation varies from other implementations in terms of what
  636. code will be executed when syntax and other errors are found in the
  637. program.  If a syntax error is found in a function definition, error
  638. recovery tries to find the beginning of a statement and continue to
  639. parse the function.  Once a syntax error is found in the function, the
  640. function will not be callable and becomes undefined.
  641. Syntax errors in the interactive execution code will invalidate the
  642. current execution block.  The execution block is terminated by an
  643. end of line that appears after a complete sequence of statements.
  644. For example, 
  645. .nf
  646. .RS
  647. a = 1
  648. b = 2
  649. .RE
  650. .fi
  651. has two execution blocks and
  652. .nf
  653. .RS
  654. { a = 1
  655.   b = 2 }
  656. .RE
  657. .fi
  658. has one execution block.  Any runtime error will terminate the execution
  659. of the current execution block.  A runtime warning will not terminate the
  660. current execution block.
  661. .IP "Interrupts"
  662. During an interactive session, the SIGINT signal (usually generated by
  663. the control-C character from the terminal) will cause execution of the
  664. current execution block to be interrupted.  It will display a "runtime"
  665. error indicating which function was interrupted.  After all runtime
  666. structures have been cleaned up, a message will be printed to notify the
  667. user that fBbcfR is ready for more input.  All previously defined functions
  668. remain defined and the value of all non-auto variables are the value at
  669. the point of interruption.  All auto variables and function parameters
  670. are removed during the
  671. clean up process.  During a non-interactive
  672. session, the SIGINT signal will terminate the entire run of fBbcfR.
  673. .SS LIMITS
  674. The following are the limits currently in place for this 
  675. .B bc
  676. processor.  Some of them may have been changed by an installation.
  677. Use the limits statement to see the actual values.
  678. .IP BC_BASE_MAX
  679. The maximum output base is currently set at 999.  The maximum input base
  680. is 16.
  681. .IP BC_DIM_MAX
  682. This is currently an arbitrary limit of 65535 as distributed.  Your
  683. installation may be different.
  684. .IP BC_SCALE_MAX
  685. The number of digits after the decimal point is limited to INT_MAX digits.
  686. Also, the number of digits before the decimal point is limited to INT_MAX
  687. digits.
  688. .IP BC_STRING_MAX
  689. The limit on the number of characters in a string is INT_MAX characters.
  690. .IP exponent
  691. The value of the exponent in the raise operation (^) is limited to LONG_MAX.
  692. .IP multiply
  693. The multiply routine may yield incorrect results if a number
  694. has more than LONG_MAX / 90 total digits.  For 32 bit longs, this number is
  695. 23,860,929 digits.
  696. .IP "code size"
  697. Each function and the "main" program are limited to 10240 bytes of
  698. compiled byte code each.  This limit (BC_MAX_SEGS) can be easily changed
  699. to have more than 10 segments of 1024 bytes.
  700. .IP "variable names"
  701. The current limit on the number of unique names is 32767 for each of
  702. simple variables, arrays and functions.
  703. .SH FILES
  704. In most installations, fBbcfR is completely self-contained.
  705. Where executable size is of importance or the C compiler does
  706. not deal with very long strings, fBbcfR will read
  707. the standard math library from the file /usr/local/lib/libmath.b.
  708. (The actual location may vary.  It may be /lib/libmath.b.)
  709. .SH DIAGNOSTICS
  710. If any file on the command line can not be opened, fBbcfR will report
  711. that the file is unavailable and terminate.  Also, there are compile
  712. and run time diagnostics that should be self-explanatory.
  713. .SH BUGS
  714. Error recovery is not very good yet.
  715. .SH AUTHOR
  716. .nf
  717. Philip A. Nelson
  718. phil@cs.wwu.edu
  719. .fi
  720. .SH ACKNOWLEDGEMENTS
  721. The author would like to thank Steve Sommars (sesv@iwtsf.att.com) for
  722. his extensive help in testing the implementation.  Many great suggestions
  723. were given.  This is a much better product due to his involvement.