Skip to content

Commit

Permalink
various post-corrections
Browse files Browse the repository at this point in the history
  • Loading branch information
@jvoigtlaender
jvoigtlaender committed Jun 16, 2024
1 parent 4cd0862 commit 2ece235
Show file tree
Hide file tree
Showing 20 changed files with 118 additions and 118 deletions.
2 changes: 1 addition & 1 deletion Uebungen/Blatt02/Exercise02-Task1a-en.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -309,7 +309,7 @@ the father, and we have his two daughters.

0:06:11.130,0:06:14.690
You might separate the daughters into two
notes here,
nodes here,

0:06:14.690,0:06:18.009
but that is not strictly necessary here.
Expand Down
4 changes: 2 additions & 2 deletions Uebungen/Blatt02/Exercise02-Task1b-de.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -716,7 +716,7 @@ Für diesen Zustand haben wir jetzt auch alle
Fälle abgedeckt, der Vater kann rüberfahren

0:21:01.399,0:21:03.509
mit dem Boot und das Kind.
mit dem Boot und dem Kind.

0:21:03.509,0:21:10.710
Das waren die genannten Fälle, die hier jeweils
Expand Down Expand Up @@ -811,7 +811,7 @@ Möglichkeit, der Vater setzt mit dem Boot
über, andere Möglichkeit.

0:24:16.950,0:24:25.849
Und schließlich kann auch ein Kind noch
Und schließlich kann auch ein Kind noch mit
übersetzen.

0:24:25.849,0:24:37.470
Expand Down
2 changes: 1 addition & 1 deletion Uebungen/Blatt02/Exercise02-Task1b-en.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -191,7 +191,7 @@ is always possible to go back to the previous
state.

0:03:39.670,0:03:42.090
There is no other possibilities from here.
There are no other possibilities from here.

0:03:42.090,0:03:46.769
So, we move on with the other possibilities
Expand Down
58 changes: 29 additions & 29 deletions Uebungen/Blatt02/Exercise02-Task2-en.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -65,7 +65,7 @@ Because the type does not match.

0:01:12.700,0:01:21.229
For B we have a “move” which expects something
of type picture and 2 more parameters,
of type Picture and 2 more parameters,

0:01:21.229,0:01:24.340
determining by how much it is moved.
Expand All @@ -75,7 +75,7 @@ And here we have a print("no") composited
with “circle” which returns

0:01:31.200,0:01:32.200
something of type picture.
something of type Picture.

0:01:32.200,0:01:37.869
So, the first argument here is correct and
Expand All @@ -102,7 +102,7 @@ And here we have the first argument which
is long rotate here which returns something

0:02:08.770,0:02:11.060
of type picture, which is correct for the
of type Picture, which is correct for the
first argument.

0:02:11.060,0:02:15.890
Expand Down Expand Up @@ -130,7 +130,7 @@ inside of which we have a “move” which
goes up to the closing parenthesis down here.

0:02:38.400,0:02:39.900
This is all of the type pictures.
This is all of the type Picture.

0:02:39.900,0:02:42.620
So, this is correct for the first argument.
Expand All @@ -144,7 +144,7 @@ So, this outer scale at least is correct.

0:02:50.069,0:02:56.670
So, moving further inside we have this “move”
which expects something of type picture, which
which expects something of type Picture, which

0:02:56.670,0:02:58.060
this “color” here provides.
Expand All @@ -168,7 +168,7 @@ correct.

0:03:09.590,0:03:15.140
Because the first argument needs to be of
type picture for “color” operation which
type Picture for “color” operation which

0:03:15.140,0:03:16.970
this second argument provides.
Expand All @@ -189,7 +189,7 @@ Moving on to E we have a “rectangle” with
the correct type and number of arguments.

0:03:38.700,0:03:43.569
Creating something of type picture for the
Creating something of type Picture for the
composition operator here as the first argument

0:03:43.569,0:03:44.840
Expand All @@ -200,7 +200,7 @@ And we have “rotate” with a “rectangle”
inside and by how much it is rotated creates

0:03:49.510,0:03:53.480
something of type picture as well which is
something of type Picture as well which is
correct for this composition operator second

0:03:53.480,0:03:54.480
Expand All @@ -211,7 +211,7 @@ So, this entire first part here is correct.

0:03:57.230,0:04:03.150
And for the second composition our operator
expects something of type picture at first
expects something of type Picture at first

0:04:03.150,0:04:06.269
which this first composition operator provides.
Expand All @@ -234,7 +234,7 @@ And we can move on to F. F gives us a “rotate”
with a “rectangle” being rotated.

0:04:25.270,0:04:28.870
Here we have to watch out for the parenthesis,
Here we have to watch out for the parentheses,
where they are.

0:04:28.870,0:04:33.300
Expand All @@ -245,10 +245,10 @@ entire “rotate” thing which is correct.
For this composition operator.

0:04:35.230,0:04:38.090
So, this is something of type picture.
So, this is something of type Picture.

0:04:38.090,0:04:42.530
But there is something of type picture inside
But there is something of type Picture inside
and the correct arguments here.

0:04:42.530,0:04:46.789
Expand All @@ -257,22 +257,22 @@ all the way till the end.

0:04:46.789,0:04:52.610
This is our second argument for this composition
operator also of type picture, “scale”
operator also of type Picture, “scale”

0:04:52.610,0:04:56.320
provides the first argument of type picture
provides the first argument of type Picture
which is correct for “move”.

0:04:56.320,0:05:02.050
And 2 more arguments that are “float”
by how much it is moved by, so this outer
And 2 more arguments that are of type Float,
by how much it is moved, so this outer

0:05:02.050,0:05:07.440
“move” here is correct, we can step further
inside, this “scale” expects something

0:05:07.440,0:05:11.060
of type picture which “print” provides
of type Picture which “print” provides
and by how much it is scaled.

0:05:11.060,0:05:13.520
Expand Down Expand Up @@ -320,13 +320,13 @@ up to the last comma back here.

0:05:57.830,0:06:01.790
So, this is the first argument providing something
of type picture.
of type Picture.

0:06:01.790,0:06:05.780
Because we have a “move” here.

0:06:05.780,0:06:11.550
And then, we have a “float” back here
And then, we have a Float back here
that 64 which provides by how much it is rotated

0:06:11.550,0:06:12.550
Expand All @@ -341,7 +341,7 @@ Now, we can step further inside, we can look
at “move” which gets something of type

0:06:21.380,0:06:26.330
picture provided by this composition operator
Picture provided by this composition operator
and this “scale” here.

0:06:26.330,0:06:32.900
Expand All @@ -360,7 +360,7 @@ So, we have from “circle” up to this 6.2
closing parenthesis, being the first argument

0:06:48.349,0:06:49.889
being of type picture.
being of type Picture.

0:06:49.889,0:06:54.050
And then 2 more parameters telling us how
Expand All @@ -380,19 +380,19 @@ This “circle” is pretty easy.
This is correct.

0:07:00.810,0:07:04.569
This creates something of type picture for
This creates something of type Picture for
the composition operator.

0:07:04.569,0:07:10.150
And the second argument here is “scale”
up to the closing parenthesis which is something

0:07:10.150,0:07:12.600
of type picture and has the correct arguments.
of type Picture and has the correct arguments.

0:07:12.600,0:07:17.599
“Rotate” creates something of type picture
and 2 more floats here for determining how
“Rotate” creates something of type Picture
and 2 more Floats here for determining how

0:07:17.599,0:07:18.599
much it is scaled by.
Expand All @@ -402,7 +402,7 @@ This is correct.

0:07:19.930,0:07:27.639
This “rotate” needs something of type
picture which the circle(5) provides
Picture which the circle(5) provides

0:07:27.639,0:07:31.060
and by how much it is rotated by so this is
Expand All @@ -424,15 +424,15 @@ And finally, we have H with an outer “rotate”
this “rotate” gets, as the first parameter,

0:07:56.360,0:08:02.940
something of type picture which starts by
something of type Picture which starts by
this “scale“ here, up to this last comma

0:08:02.940,0:08:03.940
back here.

0:08:03.940,0:08:07.819
This is the entire first argument, something
of type picture which is correct.
of type Picture which is correct.

0:08:07.819,0:08:10.600
And the second argument is correct as well.
Expand All @@ -450,7 +450,7 @@ from here to back over here.

0:08:22.180,0:08:27.909
This is one long “scale”, inside of “scale”
there is something of type picture this “move”,
there is something of type Picture this “move”,

0:08:27.909,0:08:32.849
together with the composition operator and
Expand Down
2 changes: 1 addition & 1 deletion Uebungen/Blatt03/Exercise03-Task1a-de.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -131,7 +131,7 @@ alle Seiten dieselbe Länge.

0:02:38.340,0:02:42.969
Also, warum geben wir nicht einfach als Parameter
die Länge dieser Seite zum Beispiel an?
zum Beispiel die Länge dieser Seite an?

0:02:42.969,0:02:45.849
Das wäre auch vollkommen möglich.
Expand Down
20 changes: 10 additions & 10 deletions Uebungen/Blatt03/Exercise03-Task2-en.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -70,7 +70,7 @@ that are required for this class.

0:02:07.659,0:02:15.480
And these are given here, in this case
it’s just model.
it’s just a model.

0:02:15.480,0:02:23.140
We can ignore the methods that are given,
Expand Down Expand Up @@ -118,7 +118,7 @@ we can choose the name ourselves.
The bicycle is a rentable vehicle.

0:03:31.890,0:03:38.650
That’s why we have to consider both attributes,
That’s why we have to consider both sets of attributes,
those of RentableVehicle and those of Bicycle

0:03:38.650,0:03:41.040
Expand Down Expand Up @@ -189,10 +189,10 @@ just to start with- let’s just say it’s

0:05:43.310,0:05:49.259
an “escooter” that we want

Check failure on line 191 in Uebungen/Blatt03/Exercise03-Task2-en.sbv

View workflow job for this annotation

GitHub Actions / Check Spelling 

`escooter` is not a recognized word. (unrecognized-spelling)
to construct here.
to construct here,

0:05:49.259,0:06:04.470
And this is a MotorizedVehicle and increase
and this is a MotorizedVehicle, and increase
the size a bit.

0:06:04.470,0:06:06.530
Expand All @@ -217,7 +217,7 @@ a RentableVehicle.
And we also require a license plate.

0:06:36.820,0:06:37.820
Please note, that
Please note that

0:06:37.820,0:06:44.810
we do not require the attributes of bicycle
Expand All @@ -244,7 +244,7 @@ here and instead I added the license plate

0:07:11.250,0:07:23.039
and for our license plate, we can choose any
value that is String, for instance we could
value that is a String, for instance we could

0:07:23.039,0:07:25.500
say our license plate
Expand All @@ -254,7 +254,7 @@ could look something like this, it contains numbers
and letters.

0:07:34.730,0:07:39.160
Maybe this is also a valid license plate but yeah.
Maybe this is also a valid license plate, but yeah.

0:07:39.160,0:07:49.430
The important thing is that we fulfill the requirements
Expand Down Expand Up @@ -373,11 +373,11 @@ So, as what was introduced in the lecture like this
could say the value is like this or we actually state

0:11:17.560,0:11:20.720
that this is a float by adding a dot here.
that this is a Float by adding a dot here.

0:11:20.720,0:11:32.339
And saying it’s 2500.0 so, that’s clearer,
that we are having floats here.
that we are having Floats here.

0:11:32.339,0:11:37.760
And as the last class, we are missing the
Expand Down Expand Up @@ -407,7 +407,7 @@ Please note.

0:12:16.910,0:12:22.060
We have a weight for the transporter as well,
altough we do not inherit from the
although we do not inherit from the

0:12:22.060,0:12:23.970
MotorizedVehicle.
Expand Down
10 changes: 5 additions & 5 deletions Uebungen/Blatt03/Exercise03-Task3-en.sbv
View file
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,7 @@ sentence.

0:03:16.170,0:03:21.150
Where it states that of course students and examiners
as persons.
are persons.

0:03:21.150,0:03:28.950
So, we have another class called “person”.
Expand All @@ -138,7 +138,7 @@ persons.

0:04:02.819,0:04:09.819
But we also have info about the students which
was, that they are aged.
was that they are aged.

0:04:09.819,0:04:21.610
So, we also have the age for the students.
Expand All @@ -152,7 +152,7 @@ This is important.

0:04:45.110,0:04:51.330
Because if they would have the age then we
would have to define the age within person.
would have to define the age within Person.

0:04:51.330,0:05:00.160
But the ages are only stored for the students,
Expand Down Expand Up @@ -233,13 +233,13 @@ This implies that we should have an inheritance
here.

0:07:09.440,0:07:13.460
So, students should inherit from person.
So, students should inherit from Person.

0:07:13.460,0:07:14.919
But also, the examiners.

0:07:14.919,0:07:23.050
So, we can draw an inheritance to person
So, we can draw an inheritance to Person
from both of them.

0:07:23.050,0:07:32.800
Expand Down
Loading

1 comment on commit 2ece235

@github-actions
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@check-spelling-bot Report

🔴 Please review

See the 📜action log or 📝 job summary for details.

Unrecognized words (33) 
acar
aggr
alrady
Bluesky
borrowings
DColored
DPoint
escooter
fireability
forkings
Gearloose
herefor
Kohlkopf
Modellierung
mycar
overlappings
Petriburg
Playstation
postweights
preweight
producting
statechart
stuckness
subpictures
substates
thebike
tokener
touchscreen
uniaccount
Vater
Volkert
xmodeler
Ziege
To accept these unrecognized words as correct, you could run the following commands

... in a clone of the [email protected]:fmidue/Modellierung-Untertitel.git repository
on the main branch (ℹ️ how do I use this?):

curl -s -S -L 'https://raw.githubusercontent.com/check-spelling/check-spelling/v0.0.22/apply.pl' |
perl - 'https://github.com/fmidue/Modellierung-Untertitel/actions/runs/9537965995/attempts/1'
Available 📚 dictionaries could cover words not in the 📘 dictionary
Dictionary Entries Covers Uniquely
cspell:dotnet/dict/dotnet.txt 405 1 1
cspell:python/src/python/python-lib.txt 2417 1 1

Consider adding them (in .github/workflows/spelling.yml) for uses: check-spelling/[email protected] in its with:

      with:
        extra_dictionaries:
          cspell:dotnet/dict/dotnet.txt
          cspell:python/src/python/python-lib.txt

To stop checking additional dictionaries, add (in .github/workflows/spelling.yml) for uses: check-spelling/[email protected] in its with:

check_extra_dictionaries: ''
Errors (1)

See the 📜action log or 📝 job summary for details.

❌ Errors Count
❌ forbidden-pattern 6

See ❌ Event descriptions for more information.

If the flagged items are false positives

If items relate to a ...

  • binary file (or some other file you wouldn't want to check at all).

    Please add a file path to the excludes.txt file matching the containing file.

    File paths are Perl 5 Regular Expressions - you can test yours before committing to verify it will match your files.

    ^ refers to the file's path from the root of the repository, so ^README\.md$ would exclude README.md (on whichever branch you're using).

  • well-formed pattern.

    If you can write a pattern that would match it,
    try adding it to the patterns.txt file.

    Patterns are Perl 5 Regular Expressions - you can test yours before committing to verify it will match your lines.

    Note that patterns can't match multiline strings.

Please sign in to comment.