Changeset f3b67b6 for doc/theses/jiada_liang_MMath/test2.cfa

Timestamp:

Jun 25, 2024, 12:09:24 PM (7 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

6803ff1

Parents:

41f4e2d

Message:

update test programs for different program languages

File:

• doc/theses/jiada_liang_MMath/test2.cfa (modified) (3 diffs)

doc/theses/jiada_liang_MMath/test2.cfa

@@ -1 +1 @@
 #include <fstream.hfa>
 #include <stdlib.hfa>
+#include <enum.hfa>
 
 struct MR { double mass, radius; };
 
-enum( MR ) Planet {
+enum( MR ) Planet {                                                                             // typed enumeration
         //          mass (kg)  radius (km)
         MERCURY = { 0.330_E24, 2.4397_E6 },
         VENUS   = { 4.869_E24, 6.0518_E6 },
         EARTH   = { 5.976_E24, 6.3781_E6 },
-        MOON    = { 7.346_E22, 1.7380_E6 }, // not a planet
+        MOON    = { 7.346_E22, 1.7380_E6 },                                     // not a planet
         MARS    = { 0.642_E24, 3.3972_E6 },
         JUPITER = { 1898._E24, 71.492_E6 },
@@ -15 +16 @@
         URANUS  = { 86.86_E24, 25.559_E6 },
         NEPTUNE = { 102.4_E24, 24.746_E6 },
+        PLUTO   = { 1.303_E22, 1.1880_E6 },                                     // not a planet
 };
 
-enum( double ) { G = 6.6743_E-11 }; // universal gravitational constant (m3 kg-1 s-2)
+enum( double ) { G = 6.6743_E-11 };                                             // universal gravitational constant (m3 kg-1 s-2)
 
 static double surfaceGravity( Planet p ) with( p ) {
-        return G * mass / ( radius \ 2 ); // exponentiation
+        return G * mass / ( radius \ 2 );                                       // no qualification, exponentiation
 }
 static double surfaceWeight( Planet p, double otherMass ) {
@@ -27 +29 @@
 
 int main( int argc, char * argv[] ) {
-        if ( argc != 2 ) exit | "Usage: " | argv[0] | "earth-weight";
+        if ( argc != 2 ) exit | "Usage: " | argv[0] | "earth-weight"; // terminate program
 
         double earthWeight = convert( argv[1] );
         double earthMass = earthWeight / surfaceGravity( EARTH );
 
-        Planet p = fromInt( prng( SizeE(Planet) ) ); // select a random orbiting body
-//      Planet p = fromInt( prng( 9 ) ); // select a random orbiting body
-        choose( p ) {
+        Planet rp = fromInt( prng( countof( Planet ) ) );       // select random orbiting body
+        choose( rp ) {                                                                          // implicit breaks
           case MERCURY, VENUS, EARTH, MARS:
-                sout | labelE( p ) | "is a rocky planet";
+                sout | label( rp ) | "is a rocky planet";
           case JUPITER, SATURN, URANUS, NEPTUNE:
-                sout | labelE( p ) | "is a gas-giant planet";
+                sout | label( rp ) | "is a gas-giant planet";
           default:
-                sout | labelE( p ) | "is not a planet";
+                sout | label( rp ) | "is not a planet";
         }
 
-//      for ( Planet p = MERCURY; posE(p) <= posE(NEPTUNE); p = succ( p ) ) {
-        for ( p; enum Planet ) {
-                sout | "Your weight on" | (p == MOON ? "the" : "") | labelE(p)
-//              sout | "Your weight on" | labelE(p)
-                         | "is" | wd( 1,1, surfaceWeight( p, earthMass ) ) | "kg";
+        for ( p; Planet ) {                                                                     // enumerate
+                sout | "Your weight on" | ( p == MOON ? "the" : " " ) | label( p )
+                         | "is" | wd( 1,1,  surfaceWeight( p, earthMass ) ) | "kg";
         }
 }