AllLanguageFeatures

Language: Oxygene, Platform: Echoes, Category: Language
https://github.com/remobjects/ElementsSamples/tree/master/Oxygene/Echoes/Language/AllLanguageFeatures

• AllLanguageFeatures
  • References
    • mscorlib
    • System
    • System.Data
    • System.Xml
  • Source Files
    • ClassContracts.pas
    • EnumsAndCo.pas
    • Events.pas
    • Fields.pas
    • GenericClasses.pas
    • Iterators.pas
    • Methods.pas
    • NullableTypes.pas
    • Properties\AssemblyInfo.pas
    • Properties\Resources.Designer.pas
    • Properties\Settings.Designer.pas
    • Properties.pas
  • Other Files
    • Properties\Resources.resx
    • Properties\Settings.settings

ClassContracts.pas

namespace AllLanguageFeatures;

interface

type
  ClassContracts = public class
  private
    var a,b,c,d: integer;
    class var x,y,z: string;
  public
    method bar; 
  private invariants
    a > b;
    a+b < c;
  public invariants
    a+b+c < d;
  private class invariants
    //assigned(z);
    //length(z) > 35;
  public class invariants
    //x+y = z;
  assembly 
    method foo; 
  end;
  
implementation

method ClassContracts.foo; 
require
  a > b < c;
begin
  bar();
end;

method ClassContracts.bar; 
begin
  foo();
ensure
  length(z) = old length(z)+5;
end;

end.