Is this an Example of a Semantic Gap?

Is this an Example of a Semantic Gap?

I posted this question to Java newsgroups, but the response from experts avoids the real issue.

Simple applet:

  import java.applet.*; import java.awt.*; public class FirstApplet extends Applet {  public void paint(Graphics g)    {  g.drawString(“Hello world”,25,50);    } } 
Graphics class is abstract, i.e. cannot be instantiated. drawString is a method of Graphics and is also abstract, so has no body, so cannot be called.

The source code states that a variable g of type Graphics is passed to method paint, but it does not say that Graphics is subclassed and instantiated, which is what must happen for g to have something to point at.

That is, there is a semantic gap; something is happening beyond what the code actually tells us!

Can you explain that there is not a semantic gap here? That Java is indeed an unambiguous language? The line “paint(Graphics g)” only says that a variable of type Graphics is passed, which should result in a compile error.

Maybe I’ll have to join the legions of “experts” who have misunderstood your question, but I’ll give it a shot anyway.

It seems to me that the actual graphics context associated with your applet will be an instance of some class that extends the abstract Graphics class, and will provide an implementation for drawString():

   class AppletGraphics extends Graphics {      public void drawString(…) {…}      // etc.   }  
Since Java methods are bound dynamically, like C++ virtual functions, the actual drawString() method called won’t be determined until runtime.

Since specialization is implicit, g will automatically be cast as an instance of AppletGraphics, and the call to drawString(…) will be bound to Applet.drawString(…). In other words, the call to drawString() expands into the call:

at runtime.

Share the Post:
XDR solutions

The Benefits of Using XDR Solutions

Cybercriminals constantly adapt their strategies, developing newer, more powerful, and intelligent ways to attack your network. Since security professionals must innovate as well, more conventional endpoint detection solutions have evolved

AI is revolutionizing fraud detection

How AI is Revolutionizing Fraud Detection

Artificial intelligence – commonly known as AI – means a form of technology with multiple uses. As a result, it has become extremely valuable to a number of businesses across

AI innovation

Companies Leading AI Innovation in 2023

Artificial intelligence (AI) has been transforming industries and revolutionizing business operations. AI’s potential to enhance efficiency and productivity has become crucial to many businesses. As we move into 2023, several

data fivetran pricing

Fivetran Pricing Explained

One of the biggest trends of the 21st century is the massive surge in analytics. Analytics is the process of utilizing data to drive future decision-making. With so much of

kubernetes logging

Kubernetes Logging: What You Need to Know

Kubernetes from Google is one of the most popular open-source and free container management solutions made to make managing and deploying applications easier. It has a solid architecture that makes

ransomware cyber attack

Why Is Ransomware Such a Major Threat?

One of the most significant cyber threats faced by modern organizations is a ransomware attack. Ransomware attacks have grown in both sophistication and frequency over the past few years, forcing

data dictionary

Tools You Need to Make a Data Dictionary

Data dictionaries are crucial for organizations of all sizes that deal with large amounts of data. they are centralized repositories of all the data in organizations, including metadata such as