Changeset 35897fb for doc/theses/jiada_liang_MMath/CFAenum.tex

Timestamp:

May 1, 2024, 1:36:04 PM (2 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

d414664

Parents:

de3a579 (diff), 69867ad9 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/theses/jiada_liang_MMath/CFAenum.tex (modified) (4 diffs)

doc/theses/jiada_liang_MMath/CFAenum.tex

@@ -24 +24 @@
 \label{s:EnumeratorUnscoping}
 
-In C, unscoped enumerators presents a \Newterm{naming problem} when multiple enumeration types appear in the same scope with duplicate enumerator names.
+In C, unscoped enumerators presents a \newterm{naming problem} when multiple enumeration types appear in the same scope with duplicate enumerator names.
 There is no mechanism in C to resolve these naming conflicts other than renaming one of the duplicates, which may be impossible.
 
@@ -265 +265 @@
 
 \VRef[Figure]{f:PlanetExample} shows an archetypal enumeration example illustrating most of the \CFA enumeration features.
-Enumeration @Planet@ is a typed enumeration of type @MR@.
+@Planet@ is an enumeration of type @MR@.
 Each of the planet enumerators is initialized to a specific mass/radius, @MR@, value.
-The unnamed enumeration projects the gravitational-constant enumerator @G@.
-The program main iterates through the planets computing the weight on each planet for a given earth weight.
+The unnamed enumeration provides the gravitational-constant enumerator @G@.
+Function @surfaceGravity@ uses the @with@ clause to remove @p@ qualification from fields @mass@ and @radius@.
+The program main uses @SizeE@ to obtain the number of enumerators in @Planet@, and safely converts the random value into a @Planet@ enumerator.
+The resulting random orbital body is used in a @choose@ statement.
+The enumerators in the @case@ clause use position for testing.
+The prints use @labelE@ to print the enumerators label.
+Finally, a loop iterates through the planets computing the weight on each planet for a given earth weight.
+The print statement does an equality comparison with an enumeration variable and enumerator.
 
 \begin{figure}
+\small
 \begin{cfa}
 struct MR { double mass, radius; };
-enum( MR ) Planet {
+enum( @MR@ ) Planet {
         //                      mass (kg)   radius (km)
         MERCURY = { 0.330_E24, 2.4397_E6 },
@@ -285 +292 @@
         NEPTUNE  = { 102.4_E24, 24.746_E6 },
 };
-enum( double ) { G = 6.6743E-11 }; $\C{// universal gravitational constant (m3 kg-1 s-2)}$
-
-static double surfaceGravity( Planet p ) with( p ) {
-        return G * mass / ( radius * radius );
+enum( double ) { G = 6.6743_E-11 }; $\C{// universal gravitational constant (m3 kg-1 s-2)}$
+static double surfaceGravity( Planet p ) @with( p )@ {
+        return G * mass / ( radius \ 2u ); $\C{// exponentiation}$
 }
 static double surfaceWeight( Planet p, double otherMass ) {
@@ -297 +303 @@
         double earthWeight = convert( argv[1] );
         double mass = earthWeight / surfaceGravity( EARTH );
-        for ( p; Planet ) {
-                sout | "Your weight on" | labelE(p) | "is" | wd(1,1, surfaceWeight( p, mass )) | "kg";
+
+        Planet p = @fromInt@( prng( @SizeE@(Planet) ) ); $\C{// select a random orbiting body}$
+        @choose( p )@ {
+          case MERCURY, VENUS, EARTH, MARS:
+                sout | @labelE( p )@ | "is a rocky planet";
+          @case JUPITER, SATURN, URANUS, NEPTUNE:@
+                sout | labelE( p ) | "is a gas-giant planet";
+          default:
+                sout | labelE( p ) | "is not a planet";
         }
-}
-
+        for ( @p; Planet@ ) {
+                sout | "Your weight on" | (@p == MOON@ ? "the" : "") | labelE(p)
+                           | "is" | wd(1,1, surfaceWeight( p, mass )) | "kg";
+        }
+}
 $\$$ planet 100
+JUPITER is a gas-giant planet
 Your weight on MERCURY is 37.7 kg
 Your weight on VENUS is 90.5 kg
 Your weight on EARTH is 100.0 kg
-Your weight on MOON is 16.6 kg
+Your weight on the MOON is 16.6 kg
 Your weight on MARS is 37.9 kg
 Your weight on JUPITER is 252.8 kg