package threadchecker;

public enum Tag{    
   
   
   
   
   
   
   

   
   

| Only for use EITHER on the FX platform thread OR in a loading thread (e.g. Stride editor loading).
|
FX,
   
   

| Only for use on the FX platform thread.
|
FXPlatform,
   
   

| Only for use on the Swing event thread (aka EDT)
|
Swing,
   
   

| Only for use on the joined Swing/FX thread (valid only because we have set the Java command-line flag)
|
SwingIsFX,
   
   

| Only for use on the Greenfoot Simulation thread in the simulation VM.
|
Simulation,
   
   

| Only for use on a background worker thread.
|
Worker,
   
   

| May be used on any thread.
|
Any;

   
   


| Checks if this tag on a method is allowed when overriding the given (potentially null) parent method tag.
|
| The rule is pretty simple: if the parent tag is present, it must match this tag.
| If the parent tag is empty, this tag must be Any (because the untagged parent can be called from any thread, so we can too)
|
public boolean canOverride(Tag parent)
   {
      if (parent == null)
           
      return this == Any;
      else if (parent == FXPlatform && this == FX)
           
      return true; 
      else if (this == Any)
           
      return true; 
      else if (this == SwingIsFX && (parent == FXPlatform || parent == Swing))
           
      return true;
       
      else{ return this == parent;
         }     
      }

   
   


| Checks if code tagged with this tag can call a method tagged with the given (potentially null) tag.
|
| The rule is simple: we return false if the destination tag is Unique; or is FX/Swing and does not match this tag.
| In all other cases we return true.
|
public boolean canCall(Tag dest, boolean sameInstance)
   {
      if (dest == null || dest == Any) 
      return true;
      else if (dest == Tag.FX && this == Tag.FXPlatform)
           
      return true; 
      else if ((dest == Tag.SwingIsFX && (this == Tag.FXPlatform || this == Tag.Swing))
      || (this == Tag.SwingIsFX && (dest == Tag.FXPlatform || dest == Tag.Swing)))
           
      return true;
       
      else{ return this == dest;
         }              
      } 
   }